VERICS 2007 -- a model checker for knowledgee and real-time
From MaRDI portal
Recommendations
- Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation
- Verifying real-time properties of multi-agent systems via SMT-based bounded model checking
- Bounded model checking for knowledge and real time
- scientific article; zbMATH DE number 2064229
- scientific article; zbMATH DE number 176728
Cited in
(18)- Practical verification of multi-agent systems against \textsc{Slk} specifications
- A first-order coalition logic for BDI-agents
- Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol
- Strategic reasoning with a bounded number of resources: the quest for tractability
- Parameterised verification for multi-agent systems
- A three-value abstraction technique for the verification of epistemic properties in multi-agent systems
- Automatic data-abstraction in model checking multi-agent systems
- Specification and Verification of Multi-Agent Systems
- KBPs
- Verifying real-time properties of multi-agent systems via SMT-based bounded model checking
- Undecidable cases of model checking probabilistic temporal-epistemic logic (extended abstract)
- Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems
- Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation
- Program semantics and verification technique for AI-centred programs
- To know or not to know: Epistemic approaches to security protocol verification
- Counter abstraction for regular open teams
- An SMT-based approach to the verification of knowledge-based programs
- Verification of multi-agent systems with public actions against strategy logic
This page was built for publication: VERICS 2007 -- a model checker for knowledgee and real-time
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5506377)
