Verification of Agent-Based Artifact Systems
From MaRDI portal
Publication:2925412
DOI10.1613/jair.4424zbMath1367.68321arXiv1301.2678OpenAlexW2109973265MaRDI QIDQ2925412
Alessio Lomuscio, Fabio Patrizi, Francesco Belardinelli
Publication date: 22 October 2014
Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1301.2678
Related Items (8)
Bounded situation calculus action theories ⋮ Progression and verification of situation calculus agents with bounded beliefs ⋮ Model checking Petri nets with names using data-centric dynamic systems ⋮ Non-terminating processes in the situation calculus ⋮ First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus ⋮ Situation calculus for controller synthesis in manufacturing systems with first-order state representation ⋮ A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems ⋮ Lifted model checking for relational MDPs
This page was built for publication: Verification of Agent-Based Artifact Systems
