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