Pages that link to "Item:Q3182935"
From MaRDI portal
The following pages link to Admissible Strategies in Infinite Games over Graphs (Q3182935):
Displaying 10 items.
- Assume-admissible synthesis (Q520340) (← links)
- Shield synthesis (Q1696587) (← links)
- A game-theoretic approach for the synthesis of complex systems (Q2104251) (← links)
- Synthesizing adaptive test strategies from temporal logic specifications (Q2280227) (← links)
- On the synthesis of strategies in infinite games (Q4596605) (← links)
- (Q4636592) (← links)
- (Q5079732) (← links)
- Computer Science Logic (Q5292636) (← links)
- Computer Aided Verification (Q5900671) (← links)
- With a little help from your friends: semi-cooperative games via joker moves (Q6535468) (← links)