24 citations · 36 across the 4 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022★ 4 cited
Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata
Gleifer Vaz Alves, Maike Schwammberger
One of the challenges in designing safe, reliable and trustworthy Autonomous Vehicles (AVs) is to ensure that the AVs abide by traffic rules. For this, the AVs need to be able to u…
cs.SE2022★ 1 cited
Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V&V Process
Maike Schwammberger, Christopher Harper, Gleifer Vaz Alves +3
Automated Vehicles (AVs) are rapidly maturing in the transportation domain. However, the complexity of the AV design problem is such that no single technique is sufficient to provi…