Making model checking feasible for GOAL

DOI10.1007/S10472-023-09898-3MaRDI QIDQ6634280zbMATH OpenFDO

Authors Yi Yang, Tom Holvoet

Publication date 7 November 2024

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S10472-023-09898-3

zbMATH Keywords

decision-makingGOAL agent programming languagemodel checkingmulti-agent systems

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Programming rational agents in GOAL
• A verification framework for agent programming with declarative goals
• A verification logic for goal agents
• Directions for agent model checking
• On the verification of very expressive temporal properties of non-terminating Golog programs

Cites work

• A verification framework for agent programming with declarative goals
• scientific article; zbMATH DE number 2087806 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Isabelle/HOL. A proof assistant for higher-order logic
• Programming rational agents in GOAL

Cited in

(1)

• Distributed non-axiomatic reasoning system

This page was built for publication: Making model checking feasible for GOAL

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