scientific article; zbMATH DE number 1202873
From MaRDI portal
Publication:4209291
Cited in
(30)- Verifying time, memory and communication bounds in systems of reasoning agents
- Systems of agents controlled by logical programs: complexity of verification
- On feasible cases of checking multi-agent systems behavior.
- Exponential improvement of time complexity of model checking for multiagent systems with perfect recall
- Model checking single agent behaviours by fluid approximation
- Verifiable agent dialogues
- Specifying and verifying interaction protocols in a temporal action logic
- Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
- On complexity of verification of interacting agents' behavior
- Parameterised verification for multi-agent systems
- Using agent JPF to build models for other model checkers
- A compositional automata-based approach for model checking multi-agent systems
- Directions for agent model checking
- Verifying team formation protocols with probabilistic model checking
- Specification and Verification of Multi-Agent Systems
- Model checking learning agent systems using Promela with embedded C code and abstraction
- mcmas: A Model Checker for Multi-agent Systems
- Abstraction for model checking multi-agent systems
- Property-based slicing for agent verification
- Combined model checking for temporal, probabilistic, and real-time logics
- scientific article; zbMATH DE number 1950649 (Why is no real title available?)
- scientific article; zbMATH DE number 1497792 (Why is no real title available?)
- scientific article; zbMATH DE number 1759731 (Why is no real title available?)
- Model-checking for heterogeneous multi-agent systems
- Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems
- scientific article; zbMATH DE number 2215634 (Why is no real title available?)
- AI 2005: Advances in Artificial Intelligence
- Local Models Semantics, or contextual reasoning = locality + compatibility
- Base-based model checking for multi-agent only believing
- Where logic and agents meet
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 Q4209291)
