scientific article; zbMATH DE number 6902518

DOI10.3233/978-1-61499-672-9-286zbMATH Open1403.68300MaRDI QIDQ4576181FDOQ4576181

Authors:

Publication date: 12 July 2018

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (6)

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

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)