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.
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.
Daniel J. Fagnant & Kara M. Kockelman (2013):
Preparing a Nation for Autonomous Vehicles: Opportunities, Barriers and Policy Recommendations.
Eno Center for Transportation 2.
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.
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.
United Nations (2015):
Department of Economic and Social Affairs: Population Division. World Urbanization Prospects: The 2014 Revision.
United Nations.
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.
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.
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.