The following pages link to (Q2908843):
Displaying 7 items.
- Automata-theoretic decision of timed games (Q386611) (← links)
- On the semantics of strategy logic (Q894440) (← links)
- Augmenting ATL with strategy contexts (Q897650) (← links)
- Practical verification of multi-agent systems against \textsc{Slk} specifications (Q1641030) (← links)
- Graded modalities in strategy logic (Q1641034) (← links)
- Model-checking iterated games (Q1674862) (← links)
- Reasoning about graded strategy quantifiers (Q1706169) (← links)
