The following pages link to (Q4681373):
Displaying 12 items.
- Compositional verification of multi-agent systems in temporal multi-epistemic logic (Q1610622) (← links)
- Natural strategic ability (Q2289013) (← links)
- Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams (Q2372185) (← links)
- A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic (Q2386107) (← links)
- Bounded model checking for deontic interpreted systems (Q2848072) (← links)
- Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic (Q3003427) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
- Achieving completeness in the verification of action theories by Bounded Model Checking in ASP (Q3458887) (← links)
- Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic (Q3614879) (← links)
- Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Q5034220) (← links)
- From Model Checking to a Temporal Proof for Partial Models (Q5194652) (← links)
- Algebraic Methodology and Software Technology (Q5312973) (← links)
