The following pages link to (Q4461756):
Displaying 17 items.
- Checking EMTLK properties of timed interpreted systems via bounded model checking (Q310082) (← links)
- Abstraction for model checking multi-agent systems (Q352029) (← links)
- Combined model checking for temporal, probabilistic, and real-time logics (Q407511) (← links)
- Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
- Tableau-based automata construction for dynamic linear time temporal logic (Q862830) (← links)
- Bounded model checking for knowledge and real time (Q1028970) (← links)
- Practical verification of multi-agent systems against \textsc{Slk} specifications (Q1641030) (← links)
- Producing explanations for rich logics (Q2024339) (← links)
- Verifiable agent dialogues (Q2372183) (← links)
- Specifying and verifying interaction protocols in a temporal action logic (Q2372184) (← 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)
- Model checking propositional dynamic logic with all extras (Q2494725) (← links)
- Towards Verification of Dialogue Protocols: A Mathematical Model (Q2814138) (← links)
- Automatic Data-Abstraction in Model Checking Multi-Agent Systems (Q3003426) (← links)
- Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic (Q3003427) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
