@article(aitken17:_auton_nuclear_waste_manag,
 author       = {Jonathan M. Aitken and Affan Shaukat and Elisa Cucco and Louise A. Dennis and Sandor M. Veres and Yang Gao and Michael Fisher and Jeffrey A. Kuo and Thomas Robinson and Paul E. Mort},
 year         = {2017},
 title        = {Autonomous Nuclear Waste Management},
 journal      = {IEEE Intelligent Systems},
 note         = {In Press},
)
@inproceedings(bordini2010semantics,
 author       = {Rafael H Bordini and Jomi Fred H{\"u}bner},
 year         = {2010},
 title        = {Semantics for the Jason Variant of AgentSpeak (Plan Failure and some Internal Actions).},
 booktitle    = {ECAI},
 pages        = {635--640},
 doi          = {10.3233/978-1-60750-606-5-635},
 url          = {https://dx.doi.org/10.3233/978-1-60750-606-5-635},
)
@book(Bordini07,
 author       = {Rafael H. Bordini and Michael Wooldridge and Jomi Fred H\"{u}bner},
 year         = {2007, 273p},
 title        = {Programming Multi-Agent Systems in AgentSpeak using Jason},
 publisher    = {John Wiley \& Sons},
 doi          = {10.1002/9780470061848},
)
@book(bratman1987intention,
 author       = {Michael Bratman},
 year         = {1987},
 title        = {Intention, plans, and practical reason},
 volume       = {10},
 publisher    = {Harvard University Press Cambridge, MA},
)
@inproceedings(cardosoplan,
 author       = {Rafael C. Cardoso and Louise A. Dennis and Michael Fisher},
 year         = {2019},
 title        = {Plan Library Reconfigurability in {BDI} Agents},
 booktitle    = {Proc. of the 7th International Workshop on Engineering Multi-Agent Systems (EMAS)},
)
@article(dennis2010satellite,
 author       = {Louise Dennis and Michael Fisher and Alexei Lisitsa and Nicholas Lincoln and Sandor Veres},
 year         = {2010},
 title        = {Satellite control using rational agent programming},
 journal      = {IEEE Intelligent Systems},
 volume       = {25},
 number       = {3},
 pages        = {92--97},
 doi          = {10.1109/mis.2010.88},
)
@techreport(dennis17gwen,
 author       = {Louise A. Dennis},
 year         = {2017},
 title        = {Gwendolen Semantics: 2017},
 type         = {Technical Report},
 number       = {ULCS-17-001},
 institution  = {University of Liverpool, Department of Computer Science},
)
@article(dennis2018mcapl,
 author       = {Louise A Dennis},
 year         = {2018},
 title        = {The MCAPL Framework including the Agent Infrastructure Layer and Agent Java Pathfinder},
 journal      = {The Journal of Open Source Software},
)
@inproceedings(dennis2008gwendolen,
 author       = {Louise A Dennis and Berndt Farwer},
 year         = {2008},
 title        = {Gwendolen: a BDI language for verifiable agents},
 booktitle    = {Proceedings of the AISB 2008 Symposium on Logic and the Simulation of Interaction and Reasoning, Society for the Study of Artificial Intelligence and Simulation of Behaviour},
 pages        = {16--23},
)
@inproceedings(dennis2014actions,
 author       = {Louise A Dennis and Michael Fisher},
 year         = {2014},
 title        = {Actions with Durations and Failures in BDI Languages.},
 booktitle    = {ECAI},
 pages        = {995--996},
 doi          = {10.3233/978-1-61499-419-0-995},
 url          = {https://dx.doi.org/10.3233/978-1-61499-419-0-995},
)
@article(Dennis2012,
 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://dx.doi.org/10.1007/s10515-011-0088-x},
)
@article(fox2003pddl2,
 author       = {Maria Fox and Derek Long},
 year         = {2003},
 title        = {PDDL2. 1: An extension to PDDL for expressing temporal planning domains},
 journal      = {Journal of artificial intelligence research},
 volume       = {20},
 pages        = {61--124},
 doi          = {10.1613/jair.1129},
)
@article(JMLR:v16:garcia15a,
 author       = {Javier Garc{{\'i}}a and Fern and o Fern{{\'a}}ndez},
 year         = {2015},
 title        = {A Comprehensive Survey on Safe Reinforcement Learning},
 journal      = {Journal of Machine Learning Research},
 volume       = {16},
 number       = {42},
 pages        = {1437--1480},
)
@inproceedings(georgeff1987reactive,
 author       = {Michael P Georgeff and Amy L Lansky},
 year         = {1987},
 title        = {Reactive reasoning and planning.},
 booktitle    = {AAAI},
 volume       = {87},
 pages        = {677--682},
)
@book(ghallab2016automated,
 author       = {Malik Ghallab and Dana Nau and Paolo Traverso},
 year         = {2016},
 title        = {Automated planning and acting},
 publisher    = {Cambridge University Press},
)
@article(harland2014operational,
 author       = {James Harland and David N Morley and John Thangarajah and Yorke-Smith, Neil},
 year         = {2014},
 title        = {An operational semantics for the goal life-cycle in BDI agents},
 journal      = {Autonomous agents and multi-agent systems},
 volume       = {28},
 number       = {4},
 pages        = {682--719},
 doi          = {10.1007/s10458-013-9238-9},
)
@article(harland2017aborting,
 author       = {James Harland and David N Morley and John Thangarajah and Yorke-Smith, Neil},
 year         = {2017},
 title        = {Aborting, suspending, and resuming goals and plans in BDI agents},
 journal      = {Autonomous Agents and Multi-Agent Systems},
 volume       = {31},
 number       = {2},
 pages        = {288--331},
 doi          = {10.1007/s10458-015-9322-4},
 url          = {https://dx.doi.org/10.1007/s10458-015-9322-4},
)
@article(haslum2019introduction,
 author       = {Patrik Haslum and Nir Lipovetzky and Daniele Magazzeni and Christian Muise},
 year         = {2019},
 title        = {An introduction to the planning domain definition language},
 journal      = {Synthesis Lectures on Artificial Intelligence and Machine Learning},
 volume       = {13},
 number       = {2},
 pages        = {1--187},
 doi          = {10.1002/9781118627372.ch2},
)
@inproceedings(Hindriks00,
 author       = {Koen V. Hindriks and Frank S. de Boer and Wiebe van der Hoek and John-Jules Ch. Meyer},
 year         = {2000},
 title        = {Agent Programming with Declarative Goals},
 booktitle    = {Proceedings of the 7th International Workshop on Agent Theories and Architectures,},
 publisher    = {Springer},
 pages        = {228--243},
 url          = {http://dx.doi.org/10.1007/3-540-44631-1_16},
)
@inproceedings(huang2017safety,
 author       = {Xiaowei Huang and Marta Kwiatkowska and Sen Wang and Min Wu},
 year         = {2017},
 title        = {Safety verification of deep neural networks},
 booktitle    = {International Conference on Computer Aided Verification},
 organization = {Springer},
 pages        = {3--29},
 doi          = {10.1007/978-3-319-63387-9\_1},
 url          = {https://dx.doi.org/10.1007/978-3-319-63387-9\_1},
)
@inproceedings(mascardi2005languages,
 author       = {Viviana Mascardi and Daniela Demergasso and Davide Ancona},
 year         = {2005},
 title        = {Languages for Programming BDI-style Agents: an Overview.},
 booktitle    = {WOA},
 volume       = {2005},
 pages        = {9--15},
)
@techreport(Mcdermott98,
 author       = {D. Mcdermott and M. Ghallab and A. Howe and C. Knoblock and A. Ram and M. Veloso and D. Weld and D. Wilkins},
 year         = {1998},
 title        = {{PDDL - The Planning Domain Definition Language}},
 type         = {Technical Report},
 number       = {TR-98-003},
 institution  = {Yale Center for Computational Vision and Control},
)
@article(mugan2011autonomous,
 author       = {Jonathan Mugan and Benjamin Kuipers},
 year         = {2011},
 title        = {Autonomous learning of high-level states and actions in continuous environments},
 journal      = {IEEE Transactions on Autonomous Mental Development},
 volume       = {4},
 number       = {1},
 pages        = {70--86},
 doi          = {10.1109/TAMD.2011.2160943},
)
@article(pasula2007learning,
 author       = {Hanna M Pasula and Luke S Zettlemoyer and Leslie Pack Kaelbling},
 year         = {2007},
 title        = {Learning symbolic models of stochastic domains},
 journal      = {Journal of Artificial Intelligence Research},
 volume       = {29},
 pages        = {309--352},
 doi          = {10.1613/jair.2113},
)
@article(rao1992abstract,
 author       = {Anand S Rao and Michael P Georgeff},
 year         = {1992},
 title        = {An abstract architecture for rational agents.},
 journal      = {KR},
 volume       = {92},
 pages        = {439--449},
)
@inproceedings(rao1995bdi,
 author       = {Anand S Rao and Michael P Georgeff},
 year         = {1995},
 title        = {BDI agents: from theory to practice.},
 booktitle    = {ICMAS},
 volume       = {95},
 pages        = {312--319},
)
@article(sardina2011bdi,
 author       = {Sebastian Sardina and Lin Padgham},
 year         = {2011},
 title        = {A BDI agent programming language with failure handling, declarative goals, and planning},
 journal      = {Autonomous Agents and Multi-Agent Systems},
 volume       = {23},
 number       = {1},
 pages        = {18--70},
 doi          = {10.1007/s10458-010-9130-9},
)
@article(sierhuis2007brahms,
 author       = {Maarten Sierhuis and William J Clancey and Van Hoof, Ron JJ},
 year         = {2007},
 title        = {Brahms: a multi-agent modelling environment for simulating work processes and practices},
 journal      = {International Journal of Simulation and Process Modelling},
 volume       = {3},
 number       = {3},
 pages        = {134--152},
 doi          = {10.1504/IJSPM.2007.015238},
 url          = {https://dx.doi.org/10.1504/IJSPM.2007.015238},
)
@inproceedings(stocker2011formal,
 author       = {Richard Stocker and Maarten Sierhuis and Louise Dennis and Clare Dixon and Michael Fisher},
 year         = {2011},
 title        = {A formal semantics for brahms},
 booktitle    = {International Workshop on Computational Logic in Multi-Agent Systems},
 organization = {Springer},
 pages        = {259--274},
 doi          = {10.1007/978-3-642-22359-4\_18},
)
@article(troquard2006towards,
 author       = {Nicolas Troquard and Laure Vieu},
 year         = {2006},
 title        = {Towards a Logic of Agency and Actions with Duration.},
 journal      = {Frontiers in Artifical Intelligence and Applications},
 volume       = {141},
 pages        = {775},
)
@techreport(van2017challenges,
 author       = {Van Wesel, Perry and Alwyn E Goodloe},
 year         = {2017},
 title        = {Challenges in the verification of reinforcement learning algorithms},
 type         = {Technical Report},
 number       = {NASA/TM-2017-219628},
 institution  = {NASA Langley Research Center},
)
@article(Visser03,
 author       = {Willem Visser and Klaus Havelund and Guillaume 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},
)
@article(weld2008planning,
 author       = {Daniel S Weld},
 year         = {2008},
 title        = {Planning with durative actions in stochastic domains},
 journal      = {Journal of Artificial Intelligence Research},
 volume       = {31},
 pages        = {33--82},
 doi          = {10.1613/jair.2269},
)
@inproceedings(younes2004solving,
 author       = {H{\r a}kan LS Younes and Reid G Simmons},
 year         = {2004},
 title        = {Solving generalized semi-Markov decision processes using continuous phase-type distributions},
 booktitle    = {AAAI},
 volume       = {4},
 pages        = {742},
)