The following pages link to (Q4536746):
Displaying 11 items.
- Abstraction for model checking multi-agent systems (Q352029) (← links)
- Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems (Q528185) (← links)
- On feasible cases of checking multi-agent systems behavior. (Q1401355) (← links)
- Exponential improvement of time complexity of model checking for multiagent systems with perfect recall (Q1938921) (← links)
- Model checking single agent behaviours by fluid approximation (Q2346412) (← links)
- Security of multi-agent systems: a case study on comparison shopping (Q2372189) (← links)
- Automated game analysis via probabilistic model checking: a case study (Q2852033) (← links)
- A compositional automata-based approach for model checking multi-agent systems (Q2873614) (← links)
- mcmas: A Model Checker for Multi-agent Systems (Q3433724) (← links)
- Property-based Slicing for Agent Verification (Q3656776) (← links)
- (Q4413373) (← links)