Pages that link to "Item:Q1028970"
From MaRDI portal
The following pages link to Bounded model checking for knowledge and real time (Q1028970):
Displayed 7 items.
- Parameterised verification for multi-agent systems (Q253980) (← links)
- Checking EMTLK properties of timed interpreted systems via bounded model checking (Q310082) (← links)
- Combined model checking for temporal, probabilistic, and real-time logics (Q407511) (← links)
- Bounded semantics (Q483292) (← links)
- Model checking and strategy synthesis for multi-agent systems for resource allocation (Q2154045) (← links)
- Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams (Q2372185) (← links)
- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems (Q3602954) (← links)