Specification, formal verification and implementation of tasks and missions for an autonomous vehicle

1997 ◽  
pp. 412-421 ◽  
Author(s):  
Konstantinos Kapellos ◽  
Muriel Jourdan ◽  
Bernard Espiau ◽  
Sofiane Abdou
Keyword(s):  
Formal Verification ◽  
Autonomous Vehicle

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