Adaptive reachability analysis for formal verification of autonomous driving systems

Abdukhalilova Sadokatkhon Ikromjon kizi,, Sadikjanov Jakhongirbek Shukhratbek ugli,

Innores · 2025-yil

Annotatsiya

This paper investigates the application of adaptive reachability analysis in the navigation and decision-making processes of autonomous driving systems, emphasizing its role in ensuring safe and efficient vehicle operation in complex environments. Reachability, defined as the set of all possible states a vehicle can attain within given physical and operational constraints, serves as a fundamental tool for evaluating safe trajectories in dynamic and uncertain scenarios. The proposed approach is systematically compared with prior methodologies [1,2,3,4,5] in reachability analysis, demonstrating notable improvements in computational efficiency and accuracy.

Maqola ma’lumotlari
MualliflarAbdukhalilova Sadokatkhon Ikromjon kizi,, Sadikjanov Jakhongirbek Shukhratbek ugli,
JurnalInnores
NashriyotАндижон давлат техника университети
Nashr sanasi2025-05-31
Jild1
Son2
Betlar69-75
TilIngliz
Ilmiy sohaTexnika
Indeksga qo‘shilgan2026-08-26

Maqolaning asl sahifasi

Kalit so‘zlar

Reachability, autonomous driving, decision-making process, Monte-Carlo simulations, collision avoidance.

Ilmiy soha

Texnika

Iqtibos keltirish

APAAbdukhalilova Sadokatkhon Ikromjon kizi,, & Sadikjanov Jakhongirbek Shukhratbek ugli, (2025). ADAPTIVE REACHABILITY ANALYSIS FOR FORMAL VERIFICATION OF AUTONOMOUS DRIVING SYSTEMS. Innores, 1(2), 69-75. https://innores.uz/index.php/T/article/view/54
GOST (OAK)Abdukhalilova Sadokatkhon Ikromjon kizi,, Sadikjanov Jakhongirbek Shukhratbek ugli, ADAPTIVE REACHABILITY ANALYSIS FOR FORMAL VERIFICATION OF AUTONOMOUS DRIVING SYSTEMS // Innores. – 2025. – T. 1, № 2. – P. 69-75.
MLAAbdukhalilova Sadokatkhon Ikromjon kizi,, and Sadikjanov Jakhongirbek Shukhratbek ugli,. “ADAPTIVE REACHABILITY ANALYSIS FOR FORMAL VERIFICATION OF AUTONOMOUS DRIVING SYSTEMS.” Innores, 1(2), 69-75, 2025. https://innores.uz/index.php/T/article/view/54
ChicagoAbdukhalilova Sadokatkhon Ikromjon kizi,, and Sadikjanov Jakhongirbek Shukhratbek ugli,. “ADAPTIVE REACHABILITY ANALYSIS FOR FORMAL VERIFICATION OF AUTONOMOUS DRIVING SYSTEMS.” Innores, 1(2), 69-75 (2025). https://innores.uz/index.php/T/article/view/54
HarvardAbdukhalilova Sadokatkhon Ikromjon kizi,, and Sadikjanov Jakhongirbek Shukhratbek ugli, (2025) ‘ADAPTIVE REACHABILITY ANALYSIS FOR FORMAL VERIFICATION OF AUTONOMOUS DRIVING SYSTEMS’, Innores, 1(2), 69-75. https://innores.uz/index.php/T/article/view/54
BibTeX
@article{abdukhalilovasadokatkhonikromjonkizi2025,
  title = {ADAPTIVE REACHABILITY ANALYSIS FOR FORMAL VERIFICATION OF AUTONOMOUS DRIVING SYSTEMS},
  author = {Abdukhalilova Sadokatkhon Ikromjon kizi, and Sadikjanov Jakhongirbek Shukhratbek ugli,},
  journal = {Innores},
  year = {2025},
  volume = {1},
  number = {2},
  pages = {69-75},
  url = {https://innores.uz/index.php/T/article/view/54}
}

Boshqa maqola uchun iqtibos tayyorlash

Innores jurnalidan boshqa maqolalar

Innores — barcha maqolalar · 2025-yil arxivi

Texnika sohasidagi boshqa maqolalar

Texnika sohasidagi OAK jurnallari