scientific article; zbMATH DE number 6902518

DOI10.3233/978-1-61499-672-9-286MaRDI QIDQ4576181zbMATH OpenFDO

Authors

Publication date 12 July 2018

Full work available at URL https://doi.org/10.3233/978-1-61499-672-9-286

Mathematics Subject Classification ID

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

Recommendations

• Abstractions of Multi-agent Systems
• Abstraction for model checking multi-agent systems
• The refinement of multi-agent systems
• Specification and Verification of Agent Interaction Using Abductive Reasoning
• Automatic data-abstraction in model checking multi-agent systems
• Specification and Verification of Multi-Agent Systems
• Decentralized abstractions for multi-agent systems under coupled constraints

Cited in

(7)

• A three-value abstraction technique for the verification of epistemic properties in multi-agent systems
• The refinement of multi-agent systems
• Abstraction-based verification of infinite-state reactive modules
• A Refinement Framework for Autonomous Agents
• Abstraction for non-ground answer set programs
• An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information
• Abstracting situation calculus action theories

This page was built for publication:

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