References

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