12 citations · 30 across the 5 of their papers we have counts for
5 papers
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…
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…
Extending Urban Multi-Lane Spatial Logic to Formalise Road Junction Rules
Maike Schwammberger, Gleifer Vaz Alves
During the design of autonomous vehicles (AVs), several stages should include a verification process to guarantee that the AV is driving safely on the roads. One of these stages is…
Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL
Maike Schwammberger
With Multi-lane Spatial Logic (MLSL) a powerful approach to formally reason about and prove safety of autonomous traffic manoeuvres was introduced. Extended timed automata controll…
Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres
Maike Schwammberger
Urban Multi-lane Spatial Logic (UMLSL) was introduced in [13] for proving safety (collision freedom) in autonomous urban traffic manoeuvres with perfect knowledge. We now consider…