References

  1. Event-B platform,. Available at http://www.event-b.org/.
  2. Jean-Raymond Abrial (2010): Modeling in event-B: System and software engineering. Cambridge University Press, doi:10.1017/CBO9781139195881.
  3. BehaviorTree: Behaviortree/BehaviorTree.CPP: Behavior trees library in C++. batteries included.. Available at https://github.com/BehaviorTree/BehaviorTree.CPP.
  4. Oliver Biggar & Mohammad Zamani (2020): A Framework for Formal Verification of Behavior Trees With Linear Temporal Logic. IEEE Robotics and Automation Letters 5(2), pp. 2341–2348, doi:10.1109/LRA.2020.2970634. Conference Name: IEEE Robotics and Automation Letters.
  5. Michele Colledanchise, Alejandro Marzinotto & Petter Ogren (2014): Performance analysis of stochastic behavior trees, pp. 3265–3272, doi:10.1109/ICRA.2014.6907328.
  6. Michele Colledanchise, Richard M. Murray & Petter Ögren (2017): Synthesis of Correct-by-Construction Behavior Trees. In: 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE Press, pp. 6039–6046, doi:10.1109/IROS.2017.8206502.
  7. Michele Colledanchise, Ramviyas Parasuraman & Petter Ögren (2015): Learning of Behavior Trees for Autonomous Agents. CoRR abs/1504.05811, doi:10.1109/TG.2018.2816806.
  8. Michele Colledanchise & Petter Ögren (2014): How Behavior Trees modularize robustness and safety in hybrid systems. In: 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 1482–1488, doi:10.1109/IROS.2014.6942752.
  9. Michele Colledanchise & Petter Ögren (2018): Behavior Trees in Robotics and AI: An Introduction. CRC Press, doi:10.1201/9780429489105. Available at http://arxiv.org/abs/1709.00084.
  10. Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule & Andrzej Wąsowski (2020): Behavior trees in action: a study of robotics applications. In: Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2020. Association for Computing Machinery, New York, NY, USA, pp. 196–209, doi:10.1145/3426425.3426942.
  11. Linas Laibinis, Inna Pereverzeva & Elena Troubitsyna (2017): Formal reasoning about resilient goal-oriented multi-agent systems. Science of Computer Programming 148, pp. 66–87, doi:10.1016/j.scico.2017.05.008. Available at https://www.sciencedirect.com/science/article/pii/S0167642317301181. Special issue on Automated Verification of Critical Systems (AVoCS 2015).
  12. Peter A. Lindsay, Kirsten Winter & Nisansala Yatapanage (2010): Safety Assessment Using Behavior Trees and Model Checking. In: 2010 8th IEEE International Conference on Software Engineering and Formal Methods. IEEE, Pisa, Italy, pp. 181–190, doi:10.1109/SEFM.2010.23. Available at http://ieeexplore.ieee.org/document/5637427/.
  13. Steve Macenski, Francisco Martín, Ruffin White & Jonatan Ginés Clavero (2020): The Marathon 2: A Navigation System. In: 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 2718–2725, doi:10.1109/IROS45743.2020.9341207. Available at http://arxiv.org/abs/2003.00368.
  14. W.F. McColl & K. Noshita (1986): On the number of edges in the transitive closure of a graph. Discrete Applied Mathematics 15(1), pp. 67–73, doi:10.1016/0166-218X(86)90020-X. Available at https://www.sciencedirect.com/science/article/pii/0166218X8690020X.
  15. Inna Pereverzeva, Elena Troubitsyna & Linas Laibinis (2012): Formal Goal-Oriented Development of Resilient MAS in Event-B. In: Mats Brorsson & Luís Miguel Pinho: Reliable Software Technologies – Ada-Europe 2012. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 147–161, doi:10.1007/978-3-642-30598-6_11.
  16. Splintered-Reality: Splintered-reality/py_trees: Python implementation of behaviour trees.. Available at https://github.com/splintered-reality/py_trees.
  17. Tadewos G. Tadewos, Laya Shamgah & Ali Karimoddini (2019): Automatic Safe Behaviour Tree Synthesis for Autonomous Agents. In: 2019 IEEE 58th Conference on Decision and Control (CDC), pp. 2776–2781, doi:10.1109/CDC40024.2019.9030183.
  18. Inna Vistbakka & Elena Troubitsyna (2021): Modelling resilient collaborative multi-agent systems. Computing 103, pp. 535–557, doi:10.1007/s00607-020-00861-2. Available at https://link.springer.com/article/10.1007/s00607-020-00861-2.
  19. Michael Waltham & Deshen Moodley (2016): An Analysis of Artificial Intelligence Techniques in Multiplayer Online Battle Arena Game Environments. In: Proceedings of the Annual Conference of the South African Institute of Computer Scientists and Information Technologists, SAICSIT '16. Association for Computing Machinery, New York, NY, USA, doi:10.1145/2987491.2987513.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org