Pages that link to "Item:Q5271063"
From MaRDI portal
The following pages link to On the Boundary of Behavioral Strategies (Q5271063):
Displaying 10 items.
- Reasoning about equilibria in game-like concurrent systems (Q345709) (← links)
- Practical verification of multi-agent systems against \textsc{Slk} specifications (Q1641030) (← links)
- Model-checking iterated games (Q1674862) (← links)
- Dependences in strategy logic (Q1987514) (← links)
- A logic with revocable and refinable strategies (Q2346411) (← links)
- Reasoning About Strategies (Q2946746) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- Dependences in Strategy Logic (Q3304133) (← links)
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games (Q5056367) (← links)
- Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)
