7 citations · 11 across the 2 of their papers we have counts for
2 papers
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.LO2021★ 7 cited
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…