Pages that link to "Item:Q2965484"

The following pages link to Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games (Q2965484):

Displaying 9 items.

• Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components (Q518409) (← links)
• Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games (Q528191) (← links)
• Compositional strategy synthesis for stochastic games with multiple objectives (Q1641028) (← links)
• Markov automata with multiple objectives (Q2151241) (← links)
• Looking at mean-payoff and total-payoff through windows (Q2346404) (← links)
• The Odds of Staying on Budget (Q3449479) (← links)
• Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints (Q5009420) (← links)
• (Q5090977) (← links)
• Percentile queries in multi-dimensional Markov decision processes (Q5892424) (← links)