Pages that link to "Item:Q1641034"
From MaRDI portal
The following pages link to Graded modalities in strategy logic (Q1641034):
Displaying 4 items.
- Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
- Sublogics of a branching time logic of robustness (Q1740655) (← links)
- CTL\(^\ast\) with graded path modalities (Q1784942) (← links)
- Reasoning about Quality and Fuzziness of Strategic Behaviors (Q6116358) (← links)
