The following pages link to (Q4681373):
Displayed 4 items.
- Natural strategic ability (Q2289013) (← links)
- Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams (Q2372185) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
- Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic (Q3614879) (← links)