Pages that link to "Item:Q3510829"
From MaRDI portal
The following pages link to Efficient On-the-Fly Algorithms for Partially Observable Timed Games (Q3510829):
Displaying 7 items.
- On timed alternating simulation for concurrent timed games (Q715043) (← links)
- Compositional Control Synthesis for Partially Observable Systems (Q3184691) (← links)
- Lazy Abstraction-Based Controller Synthesis (Q3297583) (← links)
- Computing Weakest Strategies for Safety Games of Imperfect Information (Q3617754) (← links)
- On-the-Fly Synthesis for Strictly Alternating Games (Q5100753) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897475) (← links)
- Taming large bounds in synthesis from bounded-liveness specifications (Q6536131) (← links)