refs.bib

@article{cog_arch_1,
  title={{A review of 40 years of cognitive architecture research: Core cognitive abilities and practical applications}},
  author={Kotseruba, Iuliia and Tsotsos, John K},
  journal={arXiv preprint arXiv:1610.08602},
  year={2016}
}

@article{cog_arch_2,
  title={The importance of cognitive architectures: An analysis based on {CLARION}},
  author={Sun, Ron},
  journal={Journal of Experimental \& Theoretical Artificial Intelligence},
  volume={19},
  number={2},
  pages={159--193},
  year={2007},
  publisher={Taylor \& Francis}
}

@book{actr_1,
  title={The {Architecture} of {Cognition}},
  author={Anderson, John R},
  year={2013},
  publisher={Psychology Press}
}

@article{actr_2,
  title={{ACT-R}: A theory of higher level cognition and its relation to visual attention},
  author={Anderson, John R and Matessa, Michael and Lebiere, Christian},
  journal={Human-Computer Interaction},
  volume={12},
  number={4},
  pages={439--462},
  year={1997},
  publisher={L. Erlbaum Associates Inc.}
}

@article{actr_3,
  title={{Modeling paradigms in ACT-R}},
  author={Taatgen, Niels A and Lebiere, Christian and Anderson, John R},
  journal={Cognition and multi-agent interaction: From cognitive modeling to social simulation},
  pages={29--52},
  year={2006},
  publisher={Cambridge University Press Cambridge}
}

@article{actr_4,
  title={How do agents make decisions? {A} survey},
  author={Balke, Tina and Gilbert, Nigel},
  journal={Journal of Artificial Societies and Social Simulation},
  volume={17},
  number={4},
  pages={13},
  year={2014}
}

@inproceedings{older_1,
  title={Modeling and prediction of human driver behavior},
  author={Liu, Andrew and Salvucci, Dario},
  booktitle={Intl. Conference on HCI},
  year={2001}
}

@inproceedings{older_2,
  title={{Modeling driver behavior with different degrees of automation: A hierarchical decision framework of interacting mental models}},
  author={Boer, Ewin R and Hoedemaeker, Marika},
  booktitle={Proceedings of the 17th European annual conference on human decision making and manual control},
  pages={63--72},
  year={1998}
}

@article{older_3,
  title={{The time course of a lane change: Driver control and eye-movement behavior}},
  author={Salvucci, Dario D and Liu, Andrew},
  journal={Transportation research part F: traffic psychology and behaviour},
  volume={5},
  number={2},
  pages={123--132},
  year={2002},
  publisher={Elsevier}
}

@article{salvucci_0,
  title={Toward an integrated model of driver behavior in cognitive architecture},
  author={Salvucci, Dario and Boer, Erwin and Liu, Andrew},
  journal={Transportation Research Record: Journal of the Transportation Research Board},
  number={1779},
  pages={9--16},
  year={2001},
  publisher={Transportation Research Board of the National Academies}
}

@article{salvucci_1,
  title={Modeling driver behavior in a cognitive architecture},
  author={Salvucci, Dario D},
  journal={Human factors},
  volume={48},
  number={2},
  pages={362--380},
  year={2006},
  publisher={Sage Publications Sage CA: Los Angeles, CA}
}

@book{bk08,
  title={Principles of model checking},
  author={Baier, Christel and Katoen, Joost-Pieter},
  year={2008},
  publisher={MIT press}
}

@inproceedings{kp07,
  title={Stochastic model checking},
  author={Kwiatkowska, Marta and Norman, Gethin and Parker, David},
  booktitle={International School on Formal Methods for the Design of Computer, Communication and Software Systems},
  pages={220--270},
  year={2007},
  organization={Springer}
}

@inproceedings{fknp11,
  title={Automated verification techniques for probabilistic systems},
  author={Forejt, Vojt{\v{e}}ch and Kwiatkowska, Marta and Norman, Gethin and Parker, David},
  booktitle={International School on Formal Methods for the Design of Computer, Communication and Software Systems},
  pages={53--113},
  year={2011},
  organization={Springer}
}

@inproceedings{prism,
  title={{PRISM 4.0: Verification of probabilistic real-time systems}},
  author={Kwiatkowska, Marta and Norman, Gethin and Parker, David},
  booktitle={International conference on computer aided verification},
  pages={585--591},
  year={2011},
  organization={Springer}
}

@inproceedings{prism_1,
  title={{PRISM: Probabilistic symbolic model checker}},
  author={Kwiatkowska, Marta and Norman, Gethin and Parker, David},
  booktitle={International Conference on Modelling Techniques and Tools for Computer Performance Evaluation},
  pages={200--204},
  year={2002},
  organization={Springer}
}

@misc{prism_example, 
  title={{PRISM} {Manual} $\mid$ {The} {PRISM} {Language} $\mid$ {Example} 1}, 
  howpublished = "\url{http://www.prismmodelchecker.org/manual/ThePRISMLanguage/Example1}", 
  journal={PRISM Model Checker}, 
  year={2010 (accessed August 18, 2018)}, 
  month={Dec}
}

@inproceedings{storm,
  title={A storm is coming: {A} modern probabilistic model checker},
  author={Dehnert, Christian and Junges, Sebastian and Katoen, Joost-Pieter and Volk, Matthias},
  booktitle={International Conference on Computer Aided Verification},
  pages={592--600},
  year={2017},
  organization={Springer}
}

@inproceedings{pareto,
  title={On stochastic games with multiple objectives},
  author={Chen, Taolue and Forejt, Vojt{\v{e}}ch and Kwiatkowska, Marta and Simaitis, Aistis and Wiltsche, Clemens},
  booktitle={International Symposium on Mathematical Foundations of Computer Science},
  pages={266--277},
  year={2013},
  organization={Springer}
}

@article{lam, 
  title={{Driver Assistance Using Cognitive Modelling and Strategy Synthesis}}, 
  author={Lam, Chak},
  year={2017}
}

@incollection{state_explosion,
  title={Model checking and the state explosion problem},
  author={Clarke, Edmund M and Klieber, William and Nov{\'a}{\v{c}}ek, Milo{\v{s}} and Zuliani, Paolo},
  booktitle={Tools for Practical Software Verification},
  pages={1--30},
  year={2012},
  publisher={Springer}
}

@inproceedings{abstraction_1,
  title={{Towards a unified theory of state abstraction for MDPs.}},
  author={Li, Lihong and Walsh, Thomas J and Littman, Michael L},
  booktitle={ISAIM},
  year={2006}
}

@article{abstraction_2,
  title={A Survey of State Abstraction Techniques for Markov Decision Processes},
  author={Mohr, Austin}
}

@article{thw,
  title={Highway capacity manual},
  author={Manual, Highway Capacity},
  journal={Washington, DC},
  volume={11},
  year={2000}
}

@misc{carr, 
  title={State "keep right" laws}, 
  howpublished = "\url{http://www.mit.edu/~jfc/right.html}", 
  publisher={MIT}, 
  author={Carr, John},
  year={(accessed August 18, 2018)}
}

@inproceedings{games,
  title={{Synthesis for multi-objective stochastic games: An application to autonomous urban driving}},
  author={Chen, Taolue and Kwiatkowska, Marta and Simaitis, Aistis and Wiltsche, Clemens},
  booktitle={International Conference on Quantitative Evaluation of Systems},
  pages={322--337},
  year={2013},
  organization={Springer}
}


@inproceedings{prism_games,
  title={{PRISM-games: A model checker for stochastic multi-player games}},
  author={Chen, Taolue and Forejt, Vojt{\v{e}}ch and Kwiatkowska, Marta and Parker, David and Simaitis, Aistis},
  booktitle={International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  pages={185--191},
  year={2013},
  organization={Springer}
}

@techreport{crashes,
  title={Critical reasons for crashes investigated in the national motor vehicle crash causation survey},
  author={Singh, Santokh},
  year={2015}
}

@misc{wired, 
  title={{When does a car become truly autonomous? Levels of self-driving technology explained}}, 
  howpublished = "\url{https://www.wired.co.uk/article/autonomous-car-levels-sae-ranking}", 
  journal={WIRED}, 
  author={Burgess, Matt}, 
  year={2018 (accessed August 18, 2018)}, 
  month={Mar}
}

@misc{autopilot1, 
  title={Autopilot}, 
  howpublished = "\url{http://www.tesla.com/en_GB/autopilot}", 
  journal={Tesla, Inc},
  year={(accessed August 18, 2018)}
}

@misc{ford, 
  title={{Ford's new driver-assist system isn't Autopilot, but it's a step in the right direction}}, 
  howpublished = "\url{http://www.theverge.com/2018/3/15/17126162/ford-driver-assist-technology-copilot-360}", 
  journal={The Verge}, 
  publisher={The Verge}, 
  author={Hawkins, Andrew J.}, 
  year={2018 (accessed August 18, 2018)}, 
  month={Mar}
}

@misc{autopilot2, 
  title={{Tesla: Autopilot was engaged in fatal Model X crash}}, 
  howpublished = "\url{http://www.engadget.com/2018/03/30/tesla-autopilot-model-x-crash-mountain-view/}", 
  journal={Engadget}, 
  author={Lawler, Richard}, 
  year={2018 (accessed August 18, 2018)}, 
  month={Mar}
}

@misc{autopilot3,
  title={{HWY18FH011 Preliminary Accident Report}}, 
  howpublished = "\url{https://www.ntsb.gov/investigations/AccidentReports/Pages/HWY18FH011-preliminary.aspx}", 
  journal={National Transportation Safety Board (NTSB)}, 
  year={2018 (accessed August 18, 2018)}, 
  month={Jun}
}

@article{software_1,
  title={Model-based software synthesis},
  author={Abbott, Ben and Bapty, Ted and Biegl, Csaba and Karsai, Gabor and Sztipanovits, Janos},
  journal={IEEE Software},
  number={3},
  pages={42--52},
  year={1993},
  publisher={IEEE}
}

@article{software_2,
  title={Design of embedded systems: Formal models, validation, and synthesis},
  author={Edwards, Stephen and Lavagno, Luciano and Lee, Edward A and Sangiovanni-Vincentelli, Alberto},
  journal={Proceedings of the IEEE},
  volume={85},
  number={3},
  pages={366--390},
  year={1997},
  publisher={IEEE}
}

@inproceedings{software_3,
  title={Pessoa: A tool for embedded controller synthesis},
  author={Mazo, Manuel and Davitian, Anna and Tabuada, Paulo},
  booktitle={International Conference on Computer Aided Verification},
  pages={566--569},
  year={2010},
  organization={Springer}
}

@article{driving-to-safety,
  title={Driving to safety: How many miles of driving would it take to demonstrate autonomous vehicle reliability?},
  author={Kalra, Nidhi and Paddock, Susan M},
  journal={Transportation Research Part A: Policy and Practice},
  volume={94},
  pages={182--193},
  year={2016},
  publisher={Elsevier}
}

@inproceedings{sim1,
  title={An immersive Virtual Reality system for semi-autonomous driving simulation: a comparison between realistic and 6-DoF controller-based interaction},
  author={Sportillo, Daniele and Paljic, Alexis and Boukhris, Mehdi and Fuchs, Philippe and Ojeda, Luciano and Roussarie, Vincent},
  booktitle={Proceedings of the 9th International Conference on Computer and Automation Engineering},
  pages={6--10},
  year={2017},
  organization={ACM}
}

@inproceedings{sim2,
  title={The RRADS platform: a real road autonomous driving simulator},
  author={Baltodano, Sonia and Sibi, Srinath and Martelaro, Nikolas and Gowda, Nikhil and Ju, Wendy},
  booktitle={Proceedings of the 7th International Conference on Automotive User Interfaces and Interactive Vehicular Applications},
  pages={281--288},
  year={2015},
  organization={ACM}
}

@article{sim3,
  title={On the impact of cooperative autonomous vehicles in improving freeway merging: a modified intelligent driver model-based approach},
  author={Zhou, Mofan and Qu, Xiaobo and Jin, Sheng},
  journal={IEEE Transactions on Intelligent Transportation Systems},
  volume={18},
  number={6},
  pages={1422--1428},
  year={2017},
  publisher={Institute of Electrical and Electronics Engineers}
}

@inproceedings{sim4,
  title={Highly scalable radar target simulator for autonomous driving test beds},
  author={Gruber, Andreas and Gadringer, Michael and Schreiber, Helmut and Amschl, Dominik and B{\"o}sch, Wolfgang and Metzner, Steffen and Pfl{\"u}gl, Horst},
  booktitle={Radar Conference (EURAD), 2017 European},
  pages={147--150},
  year={2017},
  organization={IEEE}
}

@article{challenges1,
  title={Challenges in autonomous vehicle testing and validation},
  author={Koopman, Philip and Wagner, Michael},
  journal={SAE International Journal of Transportation Safety},
  volume={4},
  number={1},
  pages={15--24},
  year={2016},
  publisher={JSTOR}
}

@misc{challenges2, 
  title={The Coming Software Apocalypse}, 
  howpublished = "\url{http://www.theatlantic.com/technology/archive/2017/09/saving-the-world-from-code/540393/}", 
  journal={The Atlantic}, 
  author={Somers, James}, 
  year={2017 (accessed August 18, 2018)}, 
  month={Sep}
}

@article{fv3,
  title={Game theoretic modeling of driver and vehicle interactions for verification and validation of autonomous vehicle control systems},
  author={Li, Nan and Oyler, Dave W and Zhang, Mengxuan and Yildiz, Yildiray and Kolmanovsky, Ilya and Girard, Anouck R},
  journal={IEEE Transactions on control systems technology},
  year={2017},
  publisher={IEEE}
}

@article{fv2,
  title={Data-driven probabilistic modeling and verification of human driver behavior},
  author={Sadigh, Dorsa and Driggs-Campbell, Katherine and Puggelli, Alberto and Li, Wenchao and Shia, Victor and Bajcsy, Ruzena and Sangiovanni-Vincentelli, Alberto L and Sastry, S Shankar and Seshia, Sanjit A},
  year={2014}
}

@article{fv1,
  title={Formal verification of autonomous vehicle platooning},
  author={Kamali, Maryam and Dennis, Louise A and McAree, Owen and Fisher, Michael and Veres, Sandor M},
  journal={Science of Computer Programming},
  volume={148},
  pages={88--106},
  year={2017},
  publisher={Elsevier}
}

@inproceedings{nilsson,
  title={Preliminary results on correct-by-construction control software synthesis for adaptive cruise control},
  author={Nilsson, Petter and Hussien, Omar and Chen, Yuxiao and Balkan, Ayca and Rungger, Matthias and Ames, Aaron and Grizzle, Jessy and Ozay, Necmiye and Peng, Huei and Tabuada, Paulo},
  booktitle={Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on},
  pages={816--823},
  year={2014},
  organization={IEEE}
}

@article{curzon,
  title={An approach to formal verification of human--computer interaction},
  author={Curzon, Paul and Ruk{\v{s}}{\.e}nas, Rimvydas and Blandford, Ann},
  journal={Formal Aspects of Computing},
  volume={19},
  number={4},
  pages={513--550},
  year={2007},
  publisher={Springer}
}

@inproceedings{boer,
  title={Modeling driver behavior with different degrees of automation: A hierarchical decision framework of interacting mental models},
  author={Boer, Ewin R and Hoedemaeker, Marika},
  booktitle={Proceedings of the 17th European annual conference on human decision making and manual control},
  pages={63--72},
  year={1998}
}

@inproceedings{games2,
  title={Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice (Invited Talk)},
  author={Kwiatkowska, Marta Z},
  booktitle={LIPIcs-Leibniz International Proceedings in Informatics},
  volume={55},
  year={2016},
  organization={Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik}
}

@misc{pygame,
  author = {Shinners, Pete},
  title = {pygame},
  year = {2011},
  publisher = {GitHub},
  journal = {GitHub repository},
  howpublished = {\url{https://github.com/pygame/pygame}}
}

@inproceedings{cond_prob,
  title={{Computing conditional probabilities in Markovian models efficiently}},
  author={Baier, Christel and Klein, Joachim and Kl{\"u}ppelholz, Sascha and M{\"a}rcker, Steffen},
  booktitle={International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  pages={515--530},
  year={2014},
  organization={Springer}
}