Pages that link to "Item:Q5271070"
From MaRDI portal
The following pages link to Trading Performance for Stability in Markov Decision Processes (Q5271070):
Displaying 4 items.
- Trading performance for stability in Markov decision processes (Q340568) (← links)
- Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games (Q528191) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition (Q3189650) (← links)