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

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.257.5 ◽

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 ◽

Download Full-text

Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-74781-1_21 ◽

2018 ◽

pp. 300-314 ◽

Author(s):

Andrea Domenici ◽

Adriano Fagiolini ◽

Maurizio Palmieri

Keyword(s):

Formal Verification ◽

Autonomous Vehicle ◽

Integrated Simulation

Download Full-text

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

Experimental Robotics IV - Lecture Notes in Control and Information Sciences ◽

10.1007/bfb0035231 ◽

1997 ◽

pp. 412-421 ◽

Author(s):

Konstantinos Kapellos ◽

Muriel Jourdan ◽

Bernard Espiau ◽

Sofiane Abdou

Keyword(s):

Formal Verification ◽

Autonomous Vehicle

Download Full-text

Formal verification of autonomous vehicle platooning

Science of Computer Programming ◽

10.1016/j.scico.2017.05.006 ◽

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

Download Full-text

Formal Verification and Mathematical Optimization for Autonomous Vehicle Group Controllers

2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) ◽

10.1109/models-c.2019.00111 ◽

2019 ◽

Author(s):

Masaki Nakamura ◽

Kazutoshi Sakakibara

Keyword(s):

Formal Verification ◽

Autonomous Vehicle ◽

Mathematical Optimization ◽

Download Full-text

Application of formal verification to the lane change module of an autonomous vehicle

2017 13th IEEE Conference on Automation Science and Engineering (CASE) ◽

10.1109/coase.2017.8256223 ◽

2017 ◽

Author(s):

Anton Zita ◽

Sahar Mohajerani ◽

Martin Fabian

Keyword(s):

Formal Verification ◽

Autonomous Vehicle ◽

Download Full-text

Paving the Way for Autonomous Vehicle Testing in Accident Scenario Analysis of Yizhuang Development Zone in Beijing

10.1061/9780784482933.006 ◽

2020 ◽

Author(s):

Quan Yuan ◽

Xuecai Xu ◽

Junwei Zhau

Keyword(s):

Scenario Analysis ◽

Autonomous Vehicle ◽

Development Zone ◽

Accident Scenario ◽

Vehicle Testing ◽

Download Full-text

Development of the Autonomous Vehicle Trajectory on the Hilly Road Using Approaches of Eco-Operating Modes

Resilience and Sustainable Transportation Systems ◽

10.1061/9780784482902.085 ◽

2020 ◽

Author(s):

Ming Li ◽

Lei Yu ◽

Guohua Song ◽

Lizhu Xie

Keyword(s):

Autonomous Vehicle ◽

Operating Modes ◽

Vehicle Trajectory

Download Full-text

Indoor Autonomous Vehicle Navigation Based on a Wireless Position and Orientation Determination System

Proceedings of the 31st International Technical Meeting of The Satellite Division of the Institute of Navigation (ION GNSS+ 2018) ◽

10.33012/2018.16048 ◽

2018 ◽

Author(s):

Zheng Cao ◽

Sihao Zhao ◽

Xiaowei Cui ◽

Wei Li ◽

Mingquan Lu

Keyword(s):

Autonomous Vehicle ◽

Vehicle Navigation ◽

Determination System ◽

Position And Orientation ◽

Autonomous Vehicle Navigation ◽

Orientation Determination

Download Full-text

Formal Verification of Analysis Approach for Enterprise Information Systems Architecture Using Hypergraph Representation Based on Finite State Machines for Supporting Business Process Requirements

Journal of Applied Business and Economics ◽

10.33423/jabe.v22i9.3686 ◽

2020 ◽

Vol 22 (9) ◽

Keyword(s):

Information Systems ◽

Formal Verification ◽

Business Process ◽

Analysis Approach ◽

State Machines ◽

Enterprise Information ◽

Systems Architecture ◽

Enterprise Information Systems ◽

Finite State ◽

Information Systems Architecture

Download Full-text

Sensor Fusion Algorithm for Airborne Autonomous Vehicle Collision Avoidance Applications

10.15368/theses.2019.58 ◽

2018 ◽

Author(s):

Julien Albert Doe

Keyword(s):

Collision Avoidance ◽

Sensor Fusion ◽

Autonomous Vehicle ◽

Fusion Algorithm ◽

Vehicle Collision

Download Full-text