Pages that link to "Item:Q528191"
From MaRDI portal
The following pages link to Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games (Q528191):
Displaying 12 items.
- Quantitative reductions and vertex-ranked infinite games (Q2029603) (← links)
- Timed games with bounded window parity objectives (Q2112117) (← links)
- (Q3384874) (← links)
- (Q3384895) (← links)
- (Q5021006) (← links)
- Simple Strategies in Multi-Objective MDPs (Q5039517) (← links)
- (Q5089289) (← links)
- Synthesis for Multi-weighted Games with Branching-Time Winning Conditions (Q5100749) (← links)
- (Q5141616) (← links)
- Combinations of Qualitative Winning for Stochastic Parity Games (Q5875367) (← links)
- (Q5875369) (← links)
- (Q6134270) (← links)
