The following pages link to Model Checking Games (Q4916199):
Displaying 9 items.
- Abstract argument games via modal logic (Q484918) (← links)
- Model-checking games for fixpoint logics with partial order models (Q532389) (← links)
- On the expressive power of monadic least fixed point logic (Q817849) (← links)
- Pushdown processes: Games and model-checking (Q1854405) (← links)
- Model checking Russian cards (Q2852032) (← links)
- An Application of Model Checking Games to Abstract Argumentation (Q3093997) (← links)
- A Dynamic Algorithm for Reachability Games Played on Trees (Q3182948) (← links)
- Model-Checking Games for Fixpoint Logics with Partial Order Models (Q3184685) (← links)
- On-the-Fly Techniques for Game-Based Software Model Checking (Q5458322) (← links)