9 citations · 14 across the 3 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2018
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time
Maryam Kamali, Sven Linker, Michael Fisher
The spread of autonomous systems into safety-critical areas has increased the demand for their formal verification, not only due to stronger certification requirements but also to…
cs.AI2016
Formal Verification of Autonomous Vehicle Platooning
Maryam Kamali, Louise A. Dennis, Owen McAree +2
The coordination of multiple autonomous vehicles into convoys or platoons is expected on our highways in the near future. However, before such platoons can be deployed, the new aut…