5 citations · 5 across the 4 of their papers we have counts for
1 paper · 2 filters
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…