References

1. Rafael H. Bordini, Louise A. Dennis, Berndt. Farwer & Michael Fisher (2008): Automated Verification of Multi-Agent Programs. In: Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, ASE '08. IEEE Computer Society, Washington, DC, USA, pp. 69–78. Available at http://dx.doi.org/10.1109/ASE.2008.17.
2. Mark Cliff (2016): Driverless cars — the route to more than smart cities. Available at https://ingworld.ing.com/en/2016-1Q/12-column-m-cliffe. Accessed, 22 May 2017.
3. Louise A. Dennis & Berndt Farwer (2008): Gwendolen: A BDI Language for Verifiable Agents. In: AISB Convention, University of Aberdeen, doi:10.1.1.141.1549.
4. Louise A. Dennis, Michael Fisher, Matthew P. Webster & Rafael H. Bordini (2012): Model Checking Agent Programming Languages. Automated Software Engineering 19(1), pp. 5–63, doi:10.1007/s10515-011-0088-x. Available at https://doi.org/10.1007/s10515-011-0088-x.
5. Daniel J. Fagnant & Kara M. Kockelman (2013): Preparing a Nation for Autonomous Vehicles: Opportunities, Barriers and Policy Recommendations. Eno Center for Transportation 2.
6. Michael Fisher (2011): An Introduction to Practical Formal Methods Using Temporal Logic. Wiley, doi:10.1002/9781119991472. Available at http://eu.wiley.com/WileyCDA/WileyTitle/productCd-0470027886.html.
7. Michael Fisher, Louise A. Dennis & Matthew Webster (2013): Verifying Autonomous Systems. ACM Communications 56(9), pp. 84–93. Available at http://doi.acm.org/10.1145/2494558.
8. Nicholas Lincoln, Sandor M. Veres, Louise A. Dennis, Michael Fisher & Alexei Lisitsa (2010): An Agent Based Framework for Adaptive Control and Decision Making of Autonomous Vehicles. In: Erdal Kayacan: Proc. 10th IFAC International Workshop on the Adaptation and Learning in Control and Signal Processing, ALCOSP 2010. International Federation of Automatic Control, Istanbul, Turkey, pp. 310–317, doi:10.3182/20100826-3-TR-4015.00058. Available at https://doi.org/10.3182/20100826-3-TR-4015.00058.
9. Viktor Mayer-Schonberger (2017): The last things that will make us uniquely human. Available at http://www.bbc.com/future/story/20170309-the-last-things-that-will-make-us-uniquely-human. Accessed, 06 June 2017.
10. MIT Media Lab (2016). Available at https://www.media.mit.edu/. Accessed, 22 May 2017.
11. United Nations (2015): Department of Economic and Social Affairs: Population Division. World Urbanization Prospects: The 2014 Revision. United Nations.
12. NHTSA (2012): Preliminary Statement of Policy Concerning Automated Vehicles. Available at http://www.autoalliance.org/index.cfm?objectid=CC9678B0-A415-11E5-997E000C296BA163. Accessed, 22 May 2017.
13. Margie Peden, Richard Scurfield, David Sleet, Dinesh Mohan, Adnan A. Hyder, Eva Jarawan & Colin Mathers (2004): World report on road traffic injury prevention. World Health Organization.
14. Simon Ulbrich, Andreas Reschka, Jens Rieken, Susanne Ernst, Gerrit Bagschik, Frank Dierkes, Marcus Nolte & Markus Maurer (2017): Towards a Functional System Architecture for Automated Vehicles. CoRR abs/1703.08557. Available at http://arxiv.org/abs/1703.08557.
15. Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park & Flavio Lerda (2003): Model Checking Programs. Automated Software Engineering 10(2), pp. 203–232, doi:10.1023/A:1022920129859.
16. Richard Wallace & Gary Silber (2012): Self-Driving cars: The next revolution. Available at https://assets.kpmg.com/content/dam/kpmg/pdf/2015/07/self-driving-cars-talkbook.pdf. Accessed, 23 May 2017.
17. Michael Wooldridge & Nicholas R. Jennings (1995): Intelligent Agents: Theory and Practice. Knowledge Engineering Review 10(2), pp. 115–152, doi:10.1017/S0269888900008122. Available at https://doi.org/10.1017/S0269888900008122.
18. Michael Wooldridge & Anand Rao (1999): Foundations of Rational Agency. Applied Logic Series 14. Springer Netherlands, doi:10.1007/978-94-015-9204-8. Available at http://www.springer.com/gp/book/9780792356011.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org