The following pages link to Model-checking iterated games (Q1674862):
Displaying 4 items.
- Pushdown processes: Games and model-checking (Q1854405) (← links)
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games (Q5056367) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308404) (← links)
- On-the-Fly Techniques for Game-Based Software Model Checking (Q5458322) (← links)