@inproceedings(ahrendt2012unified,
 author       = {Wolfgang Ahrendt and Gordon J Pace and Gerardo Schneider},
 year         = {2012},
 title        = {A unified approach for static and runtime verification: framework and applications},
 booktitle    = {International Symposium On Leveraging Applications of Formal Methods, Verification and Validation},
 organization = {Springer},
 pages        = {312--326},
 doi          = {10.1007/978-3-642-34026-0_24},
)
@incollection(bellifemine2005jade,
 author       = {Fabio Bellifemine and Federico Bergenti and Giovanni Caire and Agostino Poggi},
 year         = {2005},
 title        = {JADE—a java agent development framework},
 booktitle    = {Multi-agent programming},
 publisher    = {Springer},
 pages        = {125--147},
 doi          = {10.1007/0-387-26350-0_5},
)
@article(de2007verification,
 author       = {Frank S de Boer and Koen V Hindriks and Wiebe van der Hoek and J-J Ch Meyer},
 year         = {2007},
 title        = {A verification framework for agent programming with declarative goals},
 journal      = {Journal of Applied Logic},
 volume       = {5},
 number       = {2},
 pages        = {277--302},
 doi          = {10.1016/j.jal.2005.12.014},
)
@inproceedings(bordini2003model,
 author       = {Rafael H Bordini and Michael Fisher and Carmen Pardavila and Michael Wooldridge},
 year         = {2003},
 title        = {Model checking agentspeak},
 booktitle    = {Proceedings of the second international joint conference on Autonomous agents and multiagent systems},
 pages        = {409--416},
 doi          = {10.1145/860575.860641},
)
@incollection(cardoso2020interface,
 author       = {Rafael C Cardoso and Angelo Ferrando and Louise A Dennis and Michael Fisher},
 year         = {2020},
 title        = {An interface for programming verifiable autonomous agents in ROS},
 booktitle    = {Multi-Agent Systems and Agreement Technologies},
 publisher    = {Springer},
 pages        = {191--205},
 doi          = {10.1007/978-3-642-38700-5_3},
)
@misc(DM2019,
 author       = {Cogniteam},
 year         = {2019},
 title        = {Decision Making Package},
 url          = {http://wiki.ros.org/decision_making},
)
@incollection(crick2017rosbridge,
 author       = {Christopher Crick and Graylin Jay and Sarah Osentoski and Benjamin Pitzer and Odest Chadwicke Jenkins},
 year         = {2017},
 title        = {Rosbridge: Ros for non-ros users},
 booktitle    = {Robotics Research},
 publisher    = {Springer},
 pages        = {493--504},
 doi          = {10.1007/978-3-319-29363-9_28},
)
@inproceedings(de2020bdi,
 author       = {De Silva, Lavindra and Felipe Rech Meneguzzi and Brian Logan},
 year         = {2020},
 title        = {BDI agent architectures: A survey},
 booktitle    = {Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI), 2020, Jap{\~a}o.},
 doi          = {10.24963/ijcai.2020/684},
)
@inproceedings(dehnert2017storm,
 author       = {Christian Dehnert and Sebastian Junges and Joost-Pieter Katoen and Matthias Volk},
 year         = {2017},
 title        = {A storm is coming: A modern probabilistic model checker},
 booktitle    = {International Conference on Computer Aided Verification},
 organization = {Springer},
 pages        = {592--600},
 doi          = {10.1007/978-3-662-49674-9_8},
)
@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},
 organization = {Citeseer},
 pages        = {16--23},
 url          = {https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.141.1549&rep=rep1&type=pdf},
)
@article(dennis2012model,
 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},
)
@inproceedings(ferrando2020rosmonitoring,
 author       = {Angelo Ferrando and Rafael C Cardoso and Michael Fisher and Davide Ancona and Luca Franceschini and Viviana Mascardi},
 year         = {2020},
 title        = {ROSMonitoring: a runtime verification framework for ROS},
 booktitle    = {Annual Conference Towards Autonomous Robotic Systems},
 organization = {Springer},
 pages        = {387--399},
 doi          = {10.1023/A:1022920129859},
)
@incollection(hindriks2009programming,
 author       = {Koen V Hindriks},
 year         = {2009},
 title        = {Programming rational agents in GOAL},
 booktitle    = {Multi-agent programming},
 publisher    = {Springer},
 pages        = {119--157},
 doi          = {10.1016/S0004-3702(00)00079-5},
)
@article(holzmann1997model,
 author       = {Gerard J. Holzmann},
 year         = {1997},
 title        = {The model checker SPIN},
 journal      = {IEEE Transactions on software engineering},
 volume       = {23},
 number       = {5},
 pages        = {279--295},
 doi          = {10.1016/B978-0-444-89874-6.50028-3},
)
@inproceedings(huang2014rosrv,
 author       = {Jeff Huang and Cansu Erdogan and Yi Zhang and Brandon Moore and Qingzhou Luo and Aravind Sundaresan and Grigore Rosu},
 year         = {2014},
 title        = {ROSRV: Runtime verification for robots},
 booktitle    = {International Conference on Runtime Verification},
 organization = {Springer},
 pages        = {247--254},
 doi          = {10.1007/978-3-319-11164-3_20},
)
@inproceedings(jensen2021using,
 author       = {Alexander Birch Jensen and Koen V Hindriks and J{\o}rgen Villadsen},
 year         = {2021},
 title        = {On Using Theorem Proving for Cognitive Agent-Oriented Programming},
 booktitle    = {13th International Conference on Agents and Artificial Intelligence},
 organization = {Science and Technology Publishing},
 pages        = {446--453},
 doi          = {10.5220/0010349504460453},
)
@inproceedings(kwiatkowska2002prism,
 author       = {Marta Kwiatkowska and Gethin Norman and David Parker},
 year         = {2002},
 title        = {PRISM: Probabilistic symbolic model checker},
 booktitle    = {International Conference on Modelling Techniques and Tools for Computer Performance Evaluation},
 organization = {Springer},
 pages        = {200--204},
 doi          = {10.1007/3-540-46029-2_13},
)
@article(martin2018generic,
 author       = {Jon Martin and Oskar Casquero and Brais Fortes and Marga Marcos},
 year         = {2018},
 title        = {A generic multi-layer architecture based on ROS-JADE integration for autonomous transport vehicles},
 journal      = {Sensors},
 volume       = {19},
 number       = {1},
 pages        = {69},
 doi          = {10.1023/A:1020975419546},
)
@misc(MDM2015,
 author       = {Joao Messias},
 year         = {2015},
 title        = {Markov Decision Making Package},
 url          = {http://wiki.ros.org/markov_decision_making},
)
@book(nipkow2002isabelle,
 author       = {Tobias Nipkow and Lawrence C Paulson and Markus Wenzel},
 year         = {2002},
 title        = {Isabelle/HOL: a proof assistant for higher-order logic},
 volume       = {2283},
 publisher    = {Springer Science \& Business Media},
 doi          = {10.1007/3-540-45949-9_3},
)
@inproceedings(quigley2009ros,
 author       = {Morgan Quigley and Ken Conley and Brian Gerkey and Josh Faust and Tully Foote and Jeremy Leibs and Rob Wheeler and Andrew Y Ng},
 year         = {2009},
 title        = {ROS: an open-source Robot Operating System},
 booktitle    = {ICRA workshop on open source software},
 volume       = {3},
 organization = {Kobe, Japan},
 pages        = {5},
 url          = {http://robotics.stanford.edu/~ang/papers/icraoss09-ROS.pdf},
)
@article(shoham1993agent,
 author       = {Yoav Shoham},
 year         = {1993},
 title        = {Agent-oriented programming},
 journal      = {Artificial intelligence},
 volume       = {60},
 number       = {1},
 pages        = {51--92},
 doi          = {10.1016/0004-3702(93)90034-9},
)
@article(woodcock2009formal,
 author       = {Jim Woodcock and Peter Gorm Larsen and Juan Bicarregui and John Fitzgerald},
 year         = {2009},
 title        = {Formal methods: Practice and experience},
 journal      = {ACM computing surveys (CSUR)},
 volume       = {41},
 number       = {4},
 pages        = {1--36},
 doi          = {10.5555/3065491.3065655},
)
@inproceedings(yi2022,
 author       = {Yi Yang and Tom Holvoet},
 year         = {2022},
 title        = {Making Model Checking Feasible for GOAL},
 booktitle    = {10th International Workshop on Engineering Multi-Agent Systems},
 url          = {https://emas.in.tu-clausthal.de/2022/papers/paper4.pdf},
)