The following pages link to Mickael Randour (Q526758):
Displayed 32 items.
- Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games (Q528191) (← links)
- Decisiveness of stochastic systems and its application to hybrid models (Q2105467) (← links)
- Timed games with bounded window parity objectives (Q2112117) (← links)
- Strategy synthesis for multi-dimensional quantitative objectives (Q2249657) (← links)
- Looking at mean-payoff and total-payoff through windows (Q2346404) (← links)
- Average-energy games (Q2413482) (← links)
- Non-Zero Sum Games for Reactive Synthesis (Q2798706) (← links)
- Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games (Q2965484) (← links)
- Bounding Average-Energy Games (Q2988367) (← links)
- (Q3384895) (← links)
- Reachability in Networks of Register Protocols under Stochastic Schedulers (Q4598247) (← links)
- (Q4994885) (← links)
- (Q5013874) (← links)
- (Q5015274) (← links)
- (Q5021008) (← links)
- (Q5028465) (← links)
- Simple Strategies in Multi-Objective MDPs (Q5039517) (← links)
- (Q5089289) (← links)
- Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions (Q5090979) (← links)
- Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes (Q5111453) (← links)
- (Q5141616) (← links)
- Looking at Mean-Payoff and Total-Payoff through Windows (Q5166680) (← links)
- Variations on the Stochastic Shortest Path Problem (Q5172631) (← links)
- (Q5875369) (← links)
- (Q5875382) (← links)
- Percentile queries in multi-dimensional Markov decision processes (Q5892424) (← links)
- Percentile queries in multi-dimensional Markov decision processes (Q5915876) (← links)
- (Q6134270) (← links)
- (Q6176109) (← links)
- Life is Random, Time is Not: Markov Decision Processes with Window Objectives (Q6312331) (← links)
- Decisiveness of Stochastic Systems and its Application to Hybrid Models (Q6332800) (← links)
- Decisiveness of Stochastic Systems and its Application to Hybrid Models (Full Version) (Q6350013) (← links)