The following pages link to (Q4417931):
Displaying 4 items.
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems (Q835839) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic (Q3614879) (← links)