Recently, autonomous vehicles (AVs) have received a lot of attention from the automotive industry as well as the AV research community across the globe. To increase the safety of …
M Bozga, J Sifakis - International Journal on Software Tools for …, 2023 - Springer
The paper proposes a method for the correct by design coordination of autonomous driving systems (ADS). It builds on previous results on collision avoidance policies and the …
Developing safe autonomous driving systems is a major scientific and technical challenge. Existing AI-based end-to-end solutions do not offer the necessary safety guarantees, while …
M Bozga, J Sifakis - … Symposium on Leveraging Applications of Formal …, 2022 - Springer
The paper proposes a method for the correct by design coordination of autonomous driving systems (ADS). It builds on previous results on collision avoidance policies and the …
Formally verified automatic longitudinal control (ALC) of road vehicles in complex driving scenarios, including traffic light and road geometry constraints and adverse weather …
Safety and compliance with traffic rules are the most important factors in the design of autonomous vehicles. Recently, provably safe automatic longitudinal controller (ALC) has …
P Ioannou, M Waqas, MT Center, PS Region - 2023 - rosap.ntl.bts.gov
Today's sensor technologies are not at the level of emulating human eyes with 100% accuracy. Recent accidents with autonomous vehicles where sensors failed to correctly …