The following pages link to (Q3165948):
Displaying 16 items.
- Optimal constructions for active diagnosis (Q314815) (← links)
- Doomsday equilibria for omega-regular games (Q528193) (← links)
- Synthesis from component libraries with costs (Q683714) (← links)
- Accurate approximate diagnosis of (controllable) stochastic systems (Q832093) (← links)
- Hierarchical information and the synthesis of distributed strategies (Q1629748) (← links)
- Strategy construction for parity games with imperfect information (Q1959483) (← links)
- A game theoretic model of the behavioural gaming that takes place at the EMS-ED interface (Q2103023) (← links)
- A survey of partial-observation stochastic parity games (Q2248075) (← links)
- Uniform strategies, rational relations and jumping automata (Q2346407) (← links)
- Compositional construction of most general controllers (Q2350495) (← links)
- Mean-payoff games with partial observation (Q2636514) (← links)
- A Compositional Framework for Controller Synthesis (Q3090853) (← links)
- Games with Opacity Condition (Q3646261) (← links)
- Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems (Q5005159) (← links)
- (Q5136302) (← links)
- Partial-Observation Stochastic Games (Q5169972) (← links)
