9 citations · 26 across the 15 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
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.LO2022
On an Invariance Problem for Parameterized Concurrent Systems
Marius Bozga, Lucas Bueri, Radu Iosif
We consider concurrent systems consisting of replicated finite-state processes that synchronize via joint interactions in a network with user-defined topology. The system is specif…
cs.LO2022
Decision Problems in a Logic for Reasoning about Reconfigurable Distributed Systems
Marius Bozga, Lucas Bueri, Radu Iosif
We consider a logic used to describe sets of configurations of distributed systems, whose network topologies can be changed at runtime, by reconfiguration programs. The logic uses…