References

  1. Rajeev Alur & David L. Dill (1994): A Theory of Timed Automata. Theoretical Computer Science 126(2), pp. 183–235, doi:10.1016/0304-3975(94)90010-8.
  2. Gleifer Vaz Alves, Louise Dennis, Lucas Fernandes & Michael Fisher (2020): Reliable Decision-Making in Autonomous Vehicles. In: Andrea Leitner, Daniel Watzenig & Javier Ibanez-Guzman: Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project. Springer International Publishing, Cham, pp. 105–117, doi:10.1007/978-3-030-14628-3_10.
  3. Gleifer Vaz Alves, Louise Dennis & Michael Fisher (2020): Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent. In: Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro & David Delmas: Formal Methods. FM 2019 International Workshops, Lecture Notes in Computer Science. Springer International Publishing, Cham, pp. 217–232, doi:10.1007/978-3-030-54994-7_16.
  4. Gleifer Vaz Alves, Louise Dennis & Michael Fisher (2021): A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations. Journal of Sensor and Actuator Networks 10(3), doi:10.3390/jsan10030041. Available at https://www.mdpi.com/2224-2708/10/3/41.
  5. Michelle Avary & Tim Dawkins (2020): Safe Drive Initiative: Creating safe autonomous vehicle policy (World Economic Forum). Available at https://www.weforum.org/reports/safe-drive-initiative-creating-safe-autonomous-vehicle-policy/.
  6. Gerd Behrmann, Alexandre David & Kim G. Larsen (2004): A Tutorial on Uppaal. In: Marco Bernardo & Flavio Corradini: Formal Methods for the Design of Real-Time Systems. Springer, pp. 200–236, doi:10.1007/978-3-540-30080-9_7.
  7. Hanif Bhuiyan, Guido Governatori, Andy Bond, Sébastien Demmel, Mohammad Badiul Islam & Andry Rakotonirainy (2020): Traffic Rules Encoding Using Defeasible Deontic Logic. In: Villata Serena, Jakub Harasta & Petr Kremen: Legal Knowledge and Information Systems - JURIX 2020: The Thirty-third Annual Conference, Brno, Czech Republic, December 9-11, 2020, Frontiers in Artificial Intelligence and Applications 334. IOS Press, pp. 3–12, doi:10.3233/FAIA200844.
  8. Christopher Bischopink & Maike Schwammberger (2019): Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections. In: Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro & David Delmas: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I, Lecture Notes in Computer Science 12232. Springer, pp. 249–264, doi:10.1007/978-3-030-54994-7_18.
  9. Cristopher Bischopink (2018): Moving Hazards - Reasoning about humand drivers in autonomous traffic. University of Oldenburg.
  10. Werner Damm, Eike Möhlmann, Thomas Peikenkamp & Astrid Rakow (2018): A Formal Semantics for Traffic Sequence Charts. In: Marten Lohstroh, Patricia Derler & Marjan Sirjani: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday. Springer, pp. 182–205, doi:10.1007/978-3-319-95246-8_11.
  11. Department for Transport (2017): Using the road (159 to 203) - The Highway Code - Guidance - GOV.UK. Available at https://www.gov.uk/guidance/the-highway-code/using-the-road-159-to-203.
  12. Alexey Dosovitskiy, Germán Ros, Felipe Codevilla, Antonio M. López & Vladlen Koltun (2017): CARLA: An Open Urban Driving Simulator. In: 1st Annual Conference on Robot Learning, CoRL 2017, Mountain View, California, USA, November 13-15, 2017, Proceedings, Proceedings of Machine Learning Research 78. PMLR, pp. 1–16. Available at http://proceedings.mlr.press/v78/dosovitskiy17a.html.
  13. Klemens Esterle, Luis Gressenbuch & Alois C. Knoll (2020): Formalizing Traffic Rules for Machine Interpretability. In: 3rd IEEE Connected and Automated Vehicles Symposium, CAVS 2020, Victoria, BC, Canada, November 18 - December 16, 2020. IEEE, pp. 1–7, doi:10.1109/CAVS51000.2020.9334599.
  14. Shalini Ghosh, Daniel Elenius, Wenchao Li, Patrick Lincoln, Natarajan Shankar & Wilfried Steiner (2016): ARSENAL: Automatic Requirements Specification Extraction from Natural Language. In: Sanjai Rayadurgam & Oksana Tkachuk: NASA Formal Methods. Springer International Publishing, Cham, pp. 41–46, doi:10.1007/978-3-319-40648-0_4.
  15. Andrew J. Hawkins & Richard Lawler (2021): Tesla finally begins shipping Full Self-Drivingbeta version 9 after a long delay. Available at https://www.theverge.com/2021/7/10/22570081/tesla-fsd-v9-beta-autopilot-update.
  16. Martin Hilscher, Sven Linker & Ernst-Rüdiger Olderog (2013): Proving Safety of Traffic Manoeuvres on Country Roads. In: Zhiming Liu, Jim Woodcock & Huibiao Zhu: Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday, Lecture Notes in Computer Science 8051. Springer, pp. 196–212, doi:10.1007/978-3-642-39698-4_12.
  17. Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog & Anders P. Ravn (2011): An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. In: Shengchao Qin & Zongyan Qiu: 13th Int. Conference on Formal Engineering Methods, ICFEM, Proc.. Springer, pp. 404–419, doi:10.1007/978-3-642-24559-6_28.
  18. SAE International (2018): J 3016: Surface vehicle recommended practice – (R) Taxonomy and Definitions for Terms Related to Driving Automation Systems for On-Road Motor Vehicles.
  19. Hyunjoo Jin (2021): Tesla tells regulator that full self-driving cars may not be achieved by year-end. Reuters. Available at https://www.reuters.com/business/autos-transportation/tesla-tells-regulator-that-full-self-driving-cars-may-not-be-achieved-by-year-//2021-05-07/.
  20. Abolfazl Karimi & Parasara Sridhar Duggirala (2020): Formalizing traffic rules for uncontrolled intersections. In: 11th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2020, Sydney, Australia, April 21-25, 2020. IEEE, pp. 41–50, doi:10.1109/ICCPS48487.2020.00012.
  21. UK Law Commission (2020): Automated Vehicles: Summary of the Analysis of Responses to Consultation Paper 2 on Passenger Services and Public Transport. Available at https://www.lawcom.gov.uk/project/automated-vehicles/.
  22. Ben Moszkowski (1985): A Temporal Logic for Multilevel Reasoning About Hardware. Computer 18(2), pp. 10–19, doi:10.1109/MC.1985.1662795.
  23. Ernst-Rüdiger Olderog & Maike Schwammberger (2017): Formalising a Hazard Warning Communication Protocol with Timed Automata. In: Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay & Radu Mardare: Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, Lecture Notes in Computer Science 10460. Springer, pp. 640–660, doi:10.1007/978-3-319-63121-9_32.
  24. C. Pek, P. Zahn & M. Althoff (2017): Verifying the safety of lane change maneuvers of self-driving vehicles based on formalized traffic rules. In: 2017 IEEE Intelligent Vehicles Symposium (IV), pp. 1477–1483, doi:10.1109/IVS.2017.7995918.
  25. Robbel Philipp, David Wittmann, Christian Knobel, Jack Weast, Neil Garbacik & Philipp Schnetter (2019): Safety First for Automated Driving. Available at https://newsroom.intel.com/news/intel-auto-industry-leaders-publish-new-automated-driving-safety-framework/.
  26. Henry Prakken (2017): On the problem of making autonomous vehicles conform to traffic law. Artificial Intelligence and Law 25(3), pp. 341–363, doi:10.1007/s10506-017-9210-0. Available at https://link.springer.com/article/10.1007/s10506-017-9210-0.
  27. Aarne Ranta (2011): Translating between Language and Logic: What Is Easy and What Is Difficult. In: Nikolaj Bjørner & Viorica Sofronie-Stokkermans: Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings, Lecture Notes in Computer Science 6803. Springer, pp. 5–25, doi:10.1007/978-3-642-22438-6_3.
  28. Albert Rizaldi, Jonas Keinholz, Monika Huber, Jochen Feldle, Fabian Immler, Matthias Althoff, Eric Hilgendorf & Tobias Nipkow (2017): Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL. In: Nadia Polikarpova & Steve A. Schneider: Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, Lecture Notes in Computer Science 10510. Springer, pp. 50–66, doi:10.1007/978-3-319-66845-1_4.
  29. Maike Schwammberger (2018): An abstract model for proving safety of autonomous urban traffic. Theoretical Computer Science 744, pp. 143–169, doi:10.1016/j.tcs.2018.05.028.
  30. Maike Schwammberger (2018): Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL. Electronic Proceedings in Theoretical Computer Science 269, pp. 17–31, doi:10.4204/EPTCS.269.3.
  31. Maike Schwammberger (2020): Distributed Controllers for Provably Safe, Live and Fair Autonomous Car Manoeuvres in Urban Traffic. University of Oldenburg. Available at https://oops.uni-oldenburg.de/id/eprint/4961.
  32. Björn Wachter & Bernd Westphal (2007): The Spotlight Principle. In: Byron Cook & Andreas Podelski: Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings, Lecture Notes in Computer Science 4349. Springer, pp. 182–198, doi:10.1007/978-3-540-69738-1_13.
  33. Jim Woodcock & Jim Davies (1996): Using Z – Specification, Refinement, and Proof. Prentice Hall.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org