The following pages link to (Q4738471):
Displaying 14 items.
- Abstraction for model checking multi-agent systems (Q352029) (← links)
- Combined model checking for temporal, probabilistic, and real-time logics (Q407511) (← links)
- Bounded model checking for knowledge and real time (Q1028970) (← 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)
- Using temporal logics of knowledge for specification and verification -- a case study (Q2494726) (← links)
- Towards Verification of Dialogue Protocols: A Mathematical Model (Q2814138) (← links)
- Minimal Proof Search for Modal Logic K Model Checking (Q2915084) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
- Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap (Q3498468) (← links)
- (Q5486072) (← links)
- Refinement of Kripke Models for Dynamics (Q5505597) (← links)
- Interpreting knowledge-based programs (Q6535240) (← links)
- Second-order hyperproperties (Q6535541) (← links)
