scientific article; zbMATH DE number 2215634
From MaRDI portal
Publication:5696417
Recommendations
Cited in
(22)- Beyond intelligent manufacturing: a new generation of flexible intelligent NC machines
- Exponential improvement of time complexity of model checking for multiagent systems with perfect recall
- Model checking single agent behaviours by fluid approximation
- Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
- Parameterised verification for multi-agent systems
- A verification method for a commitment strategy of the BDI architecture
- Directions for agent model checking
- Correctness of multi-agent programs: A hybrid approach
- Methods for agent synchronization behaviour in system verification in terms of multi-agent environments
- Specification and Verification of Multi-Agent Systems
- Verifying systems of resource-bounded agents
- mcmas: A Model Checker for Multi-agent Systems
- Abstraction for model checking multi-agent systems
- Symbolic verification of multiagent graphical decision models
- Property-based slicing for agent verification
- Combined model checking for temporal, probabilistic, and real-time logics
- scientific article; zbMATH DE number 1202873 (Why is no real title available?)
- scientific article; zbMATH DE number 1950649 (Why is no real title available?)
- scientific article; zbMATH DE number 1759731 (Why is no real title available?)
- Distributed Computing - IWDC 2004
- AI 2005: Advances in Artificial Intelligence
- Base-based model checking for multi-agent only believing
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 Q5696417)
