A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification-Reference-Cited by-同舟云学术

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

Author:

Fernandes Lucas E. R.¹,Custodio Vinicius¹,Alves Gleifer V.¹,Fisher Michael²

Affiliation:

1. UTFPR, Ponta Grossa, Parana, Brazil

2. University of Liverpool, Liverpool, United Kingdom

Publisher

Open Publishing Association

Reference13 articles.

3. Model Checking Agent Programming Languages;Dennis;Automated Software Engineering,2012

4. Preparing a Nation for Autonomous Vehicles: Opportunities, Barriers and Policy Recommendations;Fagnant;Eno Center for Transportation,2013

Cited by 17 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Model-based Approach for Building Trust in Autonomous Drones through Digital Twins;2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC);2022-10-09

2. Advising Autonomous Cars about the Rules of the Road;Electronic Proceedings in Theoretical Computer Science;2022-09-27

4. Formal Specification and Model Checking of an Autonomous Vehicle Merging Protocol;2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C);2021-12