Pages that link to "Item:Q2636511"
From MaRDI portal
The following pages link to Synthesising succinct strategies in safety games with an application to real-time scheduling (Q2636511):
Displaying 5 items.
- Safe learning for near-optimal scheduling (Q832074) (← links)
- Automated competitive analysis of real-time scheduling with graph games (Q1698779) (← links)
- A symbolic algorithm for lazy synthesis of eager strategies (Q2303874) (← links)
- Synthesising Succinct Strategies in Safety and Reachability Games (Q3447698) (← links)
- (Q5090977) (← links)