Automatic data-abstraction in model checking multi-agent systems
From MaRDI portal
Recommendations
- Abstractions of Multi-agent Systems
- Abstraction for model checking multi-agent systems
- A three-value abstraction technique for the verification of epistemic properties in multi-agent systems
- Model checking temporal-epistemic logic using alternating tree automata
- mcmas: A Model Checker for Multi-agent Systems
Cites work
- scientific article; zbMATH DE number 1670775 (Why is no real title available?)
- scientific article; zbMATH DE number 2064229 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- A data symmetry reduction technique for temporal-epistemic logic
- Abstractions of Multi-agent Systems
- Computer Aided Verification
- Model checking Russian cards
- Refinement of Kripke Models for Dynamics
- Using branching time temporal logic to synthesize synchronization skeletons
- VERICS 2007 -- a model checker for knowledgee and real-time
Cited in
(6)- scientific article; zbMATH DE number 6902518 (Why is no real title available?)
- Abstractions of Multi-agent Systems
- A three-value abstraction technique for the verification of epistemic properties in multi-agent systems
- Abstraction-based verification of infinite-state reactive modules
- Abstraction for model checking multi-agent systems
- A data symmetry reduction technique for temporal-epistemic logic
This page was built for publication: Automatic data-abstraction in model checking multi-agent systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3003426)
