The following pages link to (Q4636592):
Displaying 9 items.
- A game-theoretic approach for the synthesis of complex systems (Q2104251) (← links)
- Performance heuristics for GR(1) synthesis and related algorithms (Q2303873) (← links)
- Admissible Strategies in Infinite Games over Graphs (Q3182935) (← links)
- (Q3384876) (← links)
- (Q5079732) (← links)
- (Q5140263) (← links)
- The complexity of subgame perfect equilibria in quantitative reachability games (Q5875374) (← links)
- With a little help from your friends: semi-cooperative games via joker moves (Q6535468) (← links)
- Timed automata verification and synthesis via finite automata learning (Q6536137) (← links)