Pages that link to "Item:Q2914370"
From MaRDI portal
The following pages link to Quantified CTL: Expressiveness and Model Checking (Q2914370):
Displaying 7 items.
- \(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers (Q821566) (← links)
- On the semantics of strategy logic (Q894440) (← links)
- Augmenting ATL with strategy contexts (Q897650) (← links)
- IPL: an integration property language for multi-model cyber-physical systems (Q2024345) (← links)
- A logic with revocable and refinable strategies (Q2346411) (← links)
- Reasoning About Strategies (Q2946746) (← links)
- (Q5013877) (← links)