scholarly journals Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle

2018 ◽  
pp. 300-314 ◽  
Author(s):  
Andrea Domenici ◽  
Adriano Fagiolini ◽  
Maurizio Palmieri
Keyword(s):  
Formal Verification ◽  
Autonomous Vehicle ◽  
Integrated Simulation

scholarly journals A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification

2017 ◽  
Vol 257 ◽  
pp. 35-42 ◽  
Author(s):  
Lucas E. R. Fernandes ◽  
Vinicius Custodio ◽  
Gleifer V. Alves ◽  
Michael Fisher
Keyword(s):  
Formal Verification ◽  
Autonomous Vehicle ◽  
Rational Agent

scholarly journals Formal verification of autonomous vehicle platooning

2017 ◽  
Vol 148 ◽  
pp. 88-106 ◽  
Author(s):  
Maryam Kamali ◽  
Louise A. Dennis ◽  
Owen McAree ◽  
Michael Fisher ◽  
Sandor M. Veres
Keyword(s):  
Formal Verification ◽  
Autonomous Vehicle ◽  
Vehicle Platooning
Sign in / Sign up

Export Citation Format

Share Document