Pages that link to "Item:Q1028970"
From MaRDI portal
The following pages link to Bounded model checking for knowledge and real time (Q1028970):
Displayed 4 items.
- Combined model checking for temporal, probabilistic, and real-time logics (Q407511) (← links)
- Bounded semantics (Q483292) (← 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)