Making model checking feasible for GOAL

DOI10.1007/S10472-023-09898-3MaRDI QIDQ6634280

Tom Holvoet, Yi Yang

Publication date: 7 November 2024

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

zbMATH Keywords

model checkingmulti-agent systemsdecision-makingGOAL agent programming language

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Isabelle/HOL. A proof assistant for higher-order logic
• A verification framework for agent programming with declarative goals
• Programming Rational Agents in GOAL

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)