24 citations · 35 across the 3 of their papers we have counts for
2 papers
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…
cs.LO2017★ 24 cited
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…