References

  1. E. Ackerman (2013): NASA Lets Curiosity Rover Loose on Mars in Autonomous Driving Mode. IEEE Spectrum. Retrieved from https://spectrum.ieee.org/nasa-mars-curiosity-rover-autonomous-driving-mode.
  2. E. Ackerman (2021): Everything You Need to Know About NASA's Perseverance Rover Landing on Mars. IEEE Spectrum. Retrieved from https://spectrum.ieee.org/nasa-mars-rover-perseverance-landing.
  3. M. Al-Nuaimi, S. Wibowo, H. Qu, J. Aitken & S. Veres (2021): Hybrid Verification Technique for Decision-Making of Self-Driving Vehicles. Journal of Sensor and Actuator Networks 10(42), doi:10.3390/jsan10030042.
  4. M. Aldibaja, N. Suganuma & K. Yoneda (2016): Improving localization accuracy for autonomous driving in snow-rain environments. In: 2016 IEEE/SICE International Symposium on System Integration (SII), pp. 212–217, doi:10.1109/SII.2016.7844000.
  5. M. Althoff & J. M. Dolan (2014): Online verification of automated road vehicles using reachability analysis. IEEE Transactions on Robotics 30(4), pp. 903–918, doi:10.1109/TRO.2014.2312453.
  6. M. Althoff & A. Mergel (2011): Comparison of Markov chain abstraction and Monte Carlo simulation for the safety assessment of autonomous cars. IEEE Transactions on Intelligent Transportation Systems 12(4), pp. 1237–1247, doi:10.1109/TITS.2011.2157342.
  7. M. Althoff, O. Stursberg & M. Buss (2009): Model-based probabilistic collision detection in autonomous driving. IEEE Transactions on Intelligent Transportation Systems 10(2), pp. 299–310, doi:10.1109/TITS.2009.2018966.
  8. C. Baier & J.-P. Katoen (2008): Principles of Model Checking. The MIT Press.
  9. E. M. Clarke, O. Grumberg, S. Jha, Y. Lu & H. Veith (2001): Progress on the State Explosion Problem in Model Checking. In: Informatics - 10 Years Back. 10 Years Ahead., Lecture Notes in Computer Science 2000. Springer-Verlag, Berlin, Heidelberg, pp. 176194, doi:10.1006/inco.1997.2696.
  10. E. M. Jnr Clarke, O. Grumberg & D. A. Peled (1999): Model Checking. MIT Press.
  11. K. Conger (2020): Driver Charged in Ubers Fatal 2018 Autonomous Car Crash. The New York Times.
  12. W. Damm, E. Möhlmann & T. Peikenkamp (2018): A Formal Semantics for Traffic Sequence Charts. In: Principles of Modeling, Lecture Notes in Computing Science. Springer, pp. 188–205, doi:10.1002/spe.1038.
  13. L. Dennis, M. Fisher, M. Webster & R. Bordini (2012): Model Checking Agent Programming Languages. Automated Software Engineering 19(1), pp. 5–63, doi:10.1007/s10515-011-0088-x.
  14. N. Deo & M. M. Trivedi (2018): Convolutional Social Pooling for Vehicle Trajectory Prediction. CoRR abs/1805.06771.
  15. E. W. Dijkstra (1976): A Discipline of Programming. Prentice-Hall.
  16. L. E. R. Fernandes, V. Custodio, G. V. Alves & M. Fisher (2017): A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification. Electronic Proceedings in Theoretical Computer Science 257, pp. 3542, doi:10.1007/978-94-015-9204-8.
  17. D. Fraser, R. Giaquinta, Hoffmann, M. Ireland, A. Miller & G. Norman (2020): Collaborative models for autonomous systems controller synthesis. Form Aspects of Computing 32, pp. 157–186, doi:10.1109/TCST.2006.872519.
  18. M. Harris (2018): Waymo Filings Give New Details on Its Driverless Taxis. IEEE Spectrum. Retrieved from https://spectrum.ieee.org/waymo-filings-give-new-details-on-its-driverless-taxis.
  19. K. Havelund, M. Lowry & J. Penix (2001): Formal Analysis of a Space-Craft Controller Using SPIN.. Software Engineering, IEEE Transactions on 27, pp. 749–765, doi:10.1109/32.940728.
  20. M. Hilsher, S. Linker & E-R Olderog (2013): Proving Safety of Traffic Manoeuvres on Country Roads. In: Theories of Programming and Formal Methods, Lecture Notes in Computing Science. Springer, pp. 196–212, doi:10.1007/978-3-642-39698-4_12.
  21. G. Holzmann (2011): The SPIN Model Checker: Primer and Reference Manual, 1st edition. Addison-Wesley Professional.
  22. J. Hsu (2016): U.S. Navy's Drone Boat Swarm Practices Harbor Defense. IEEE Spectrum. Retrieved from https://spectrum.ieee.org/navy-drone-boat-swarm-practices-harbor-defense.
  23. J. Ji, A. Khajepour, W. M. Melek & Y. Huang (2017): Path planning and tracking for vehicle collision avoidance based on model predictive control with multiconstraints. IEEE Transactions on Vehicular Technology 66(2), pp. 952–964, doi:10.1109/TVT.2016.2555853.
  24. S. Josef & A. Degani (2020): Deep Reinforcement Learning for Safe Local Planning of a Ground Vehicle in Unknown Rough Terrain. IEEE Robotics and Automation Letters 5(4), pp. 6748–6755, doi:10.1109/LRA.2020.3011912.
  25. M. Kamali, L. Dennis, O. McAcree, M. Fisher & S. Veres (2017): Formal Verification of autonomous vehicle platooning. Science of Computer Programming 148, pp. 88–106, doi:10.1016/j.scico.2017.05.006.
  26. W. J. Kavanagh, A. Miller, G. Norman & O. Andrei (2021): Balancing Turn-Based Games with Chained Strategy Generation. IEEE Transactions on Games 13(2), pp. 113–122, doi:10.1109/TG.2019.2943227.
  27. J. Kinder, S. Katzenbeisser, C. Schallhart & H. Veith (2010): Proactive detection of computer worms using model checking. IEEE Transactions on Dependable and Secure Computing 7(4), pp. 424–438, doi:10.1109/TDSC.2008.74.
  28. Joshua Kroll, Joanna Huey, Solon Barocas, Edward Felten, Joel Reidenberg, David Robinson & Harlan Yu (2017): Accountable algorithms. University of Pennsylvania Law Review 165, pp. 633–705.
  29. M. Kwiatkowska, G. Norman & D. Parker (2011): PRISM 4.0: Verification of Probabilistic Real-Time Systems. In: Computer Aided Verification (CAV'2011), Lecture Notes in Computer Science 6806. Springer, pp. 585–591, doi:10.1007/3-540-45657-0_17.
  30. K. Larsen, P. Pettersson & W. Yi (1997): uppaal in a nutshell. Software Tools for Technology Transfer, pp. 134–152, doi:10.1007/s100090050010.
  31. X. Li, Z. Sun, D. Cao, Z. He & Q. Zhu (2016): Real-time trajectory planning for autonomous urban driving: Framework, algorithms, and verifications. IEEE/ASME Transactions on Mechatronics 21(2), pp. 740–753, doi:10.1109/TMECH.2015.2493980.
  32. T. Lillicrap, J. Hunt, A. Pritzel, N. Heess, T. Erez, Y. Tassa, D. Silver & D. Wierstra (2016): Continuous control with deep reinforcement learning. CoRR abs/1509.02971.
  33. A. Lomuscio, H. Qu & F. Raimondi (2009): a model checker for the verification of multi-agent systems. In: Proceedings of the International Conference on Computer Aided Verification. Springer, pp. 682–688, doi:10.1109/ICMAS.2000.858426.
  34. Y. Lu, A. Miller, C. Johnson, Z. Peng & T. Zhao (2014): Availability analysis of satellite positioning systems for avaiation using the Prism model checker. In: Proceedings of the 17th International Conference on Computational Science and Engineering (CSE 2014), pp. 704–713, doi:10.1109/CSE.2014.148.
  35. G. Marcus & E. Davis (2020): GPT-3 bloviator: OpenAIs language generator has no idea what its talking about. MIT Technology Review. Available at https://www.technologyreview.com/2020/08/22/1007539.
  36. V. Mnih, K. Kavukcuoglu, D. Silver, A. A. Rusu, J. Veness, M. G. Bellemare, A. Graves, M. Riedmiller, A. K. Fidjeland, G. Ostrovski, S. Petersen, C. Beattie, A. Sadik, I. Antonoglou, H. King, D. Kumaran, D. Wierstra, S. Legg & D. Hassabis (2015): Human-level control through deep reinforcement learning. Nature 518(7540), pp. 529–533, doi:10.1016/S0004-3702(98)00023-X.
  37. D. Pagojus, A. Miller, B. Porr & I. Valkov (2021): Simulation and Model checking for close to real-time overtaking planning. github, doi:10.5281/zenodo.5543845. GitHub repository.
  38. A. Pnueli (1981): The temporal semantics of concurrent programs. Theoretical Computer Science 13(1), pp. 45–60, doi:10.1016/0304-3975(81)90110-9.
  39. G. Prokop (2001): Modeling human vehicle driving by model predictive online optimization. Vehicle System Dynamics 35(1), pp. 19–53, doi:10.1076/vesd.35.1.19.5614.
  40. Y. Rasekhipour, A. Khajepour, S. K. Chen & B. Litkouhi (2017): A Potential Field-Based Model Predictive Path-Planning Controller for Autonomous Road Vehicles. IEEE Transactions on Intelligent Transportation Systems 18(5), pp. 1255–1267, doi:10.1109/TITS.2016.2604240.
  41. R. S. Sutton & A. G. Barto (1998): Reinforcement Learning: An Introduction, 2002 edition. Bradford Books, MIT Press, Cambridge, MA.
  42. W. Visser, K. Havelund, G. Brat, S Park & F. Lerda (2003): Model checking programs. Automated Software Engineering 10, pp. 203–232, doi:10.1023/A:1022920129859.
  43. L. Wang & F. Cai (2017): Reliability analysis for flight control systems using probabilistic model checking. Proceedings of the IEEE International Conference on Software Engineering and Service Sciences, ICSESS 2017-Novem, pp. 161–164, doi:10.1109/RAM.2017.7889773.
  44. Q. Wang, B. Ayalew & T. Weiskircher (2019): Predictive Maneuver Planning for an Autonomous Vehicle in Public Highway Traffic. IEEE Transactions on Intelligent Transportation Systems 20(4), pp. 1303–1315, doi:10.1109/TITS.2018.2848472.
  45. D. Yadron & D. Tynan (2016): Tesla driver dies in first fatal crash while using autopilot mode. The Guardian. Retrieved from https://www.theguardian.com/technology/2016/jun/30/tesla-autopilot-death-self-driving-car-elon-musk.
  46. T. Yu, G. Thomas, L. Yu, S. Ermon, J. Y. Zou, S. Levine, C. Finn & T. Ma (2020): MOPO: Model-based Offline Policy Optimization. In: Advances in Neural Information Processing Systems 33. Curran Associates, Inc., pp. 14129–14142.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org