Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent-Reference-Cited by-同舟云学术

Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent

Published:2020 Issue: Volume: Page:217-232
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Alves Gleifer Vaz^ORCID,Dennis Louise^ORCID,Fisher Michael^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-54994-7_16

Reference18 articles.

1. Alves, G.V., Dennis, L., Fisher, M.: Formalisation of the rules of the road for embedding into an autonomous vehicle agent. In: International Workshop on Verification and Validation of Autonomous Systems, Oxford, UK, pp. 1–2, July 2018. https://sites.google.com/site/wsvavas2018/home/proceedings

2. BBC News: UK wants fully autonomous cars on road, February 2019. https://www.bbc.com/news/technology-47144449

3. Bratman, M.E.: Intentions, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)

4. Burkacky, O., Deichmann, J., Doll, G., Knochenhauer, C.: Rethinking car software and electronics architecture | McKinsey. https://www.mckinsey.com/industries/automotive-and-assembly/our-insights/rethinking-car-software-and-electronics-architecture

5. Davey, T.: Towards a code of ethics in artificial intelligence with Paula Boddington, July 2017. https://futureoflife.org/2017/07/31/towards-a-code-of-ethics-in-artificial-intelligence/

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

1. Monitoring of spatio-temporal properties with nonlinear SAT solvers;International Journal on Software Tools for Technology Transfer;2024-02-22

2. Rules of the Road: Formal Guarantees for Autonomous Vehicles With Behavioral Contract Design;IEEE Transactions on Robotics;2023-06

3. Traffic rules compliance checking of automated vehicle maneuvers;Artificial Intelligence and Law;2023-01-21

4. An IDE to Support the Development of Embedded Multi-Agent Systems;Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection;2023

5. Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata;Electronic Proceedings in Theoretical Computer Science;2022-09-27