24 citations · 36 across the 4 of their papers we have counts for
3 papers · 1 filter
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…
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…
A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification
Lucas E. R. Fernandes, Vinicius Custodio, Gleifer V. Alves +1
The development and deployment of Autonomous Vehicles (AVs) on our roads is not only realistic in the near future but can also bring significant benefits. In particular, it can pot…