Update pubs.bib

Author: louiseadennis

pubs.bib

@@ -1,3 +1,23 @@
+@Inbook{Wright2025,
+author="Wright, Thomas
+and Dennis, Louise A.
+and Woodcock, Jim
+and Foster, Simon",
+editor="Hinchey, Mike
+and Steffen, Bernhard",
+title="Formal Verification of BDI Agents",
+bookTitle="The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday",
+year="2025",
+publisher="Springer Nature Switzerland",
+address="Cham",
+pages="302--326",
+abstract="This paper presents a formal modelling approach for Belief-Desire-Intention (BDI) agents using Isabelle/HOL and Z-Machines. The BDI architecture is widely used for modelling intelligent agents, where agents possess beliefs about the environment, desires or goals to achieve, and intentions to execute plans for goal attainment. The paper introduces a general-purpose model of the BDI architecture using Z-Machines. The modelling framework includes specifications for beliefs, actions, rules, plans, pattern matching, and rule applications. The proposed model can be used to formally verify BDI agents' behaviour using Hoare Logic and Isabelle/Z-Machines. This framework then contributes to advancing formal modelling and verification of agent-based systems, showing how we can integrate automated reasoning to establish invariant properties of agents with compositional techniques to prove more significant properties of BDI systems. We demonstrate the effectiveness of our approach through a case study of a nuclear inspector robot, showing how we can verify invariants and uncover bugs in the system's behaviour.",
+isbn="978-3-031-73887-6",
+doi="10.1007/978-3-031-73887-6_20",
+note={[<span class="tas_vn">TAS Verifiability Node</span>],
+url="https://doi.org/10.1007/978-3-031-73887-6_20"
+}
+
 @INPROCEEDINGS{10794849,
   author={Kolker, Simon and Dennis, Louise and Pereira, Ramon Fraga and Xu, Mengwei},
   booktitle={2024 IEEE Space Computing Conference (SCC)},