18 citations · 48 across the 21 of their papers we have counts for
Showing cs.MAShow all
3 papers · 1 filter
cs.MA2024
Compositionally Safe Construction of Autonomous Driving Systems
Marius Bozga, Joseph Sifakis
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…
cs.MA2022
Correct by Design Coordination of Autonomous Driving Systems
Marius Bozga, Joseph Sifakis
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 modeli…
cs.MA2021
Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework
Marius Bozga, Joseph Sifakis
Autonomous Driving Systems (ADS) are critical dynamic reconfigurable agent systems whose specification and validation raises extremely challenging problems. The paper presents a mu…