Formal verification of BDI agents

DOI10.1007/978-3-031-73887-6_20MaRDI QIDQ7007843zbMATH OpenFDO

Authors Thomas Wright, Louise A. Dennis, Jim Woodcock, Simon Foster

Publication date 25 March 2025

zbMATH Keywords

model checkingtheorem provingIsabelle/HOLBDIagent verificationZ-machines

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence for robotics (68T40) Agent technology and artificial intelligence (68T42)

This page was built for publication: Formal verification of BDI agents

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7007843)