Pages that link to "Item:Q2249657"
From MaRDI portal
The following pages link to Strategy synthesis for multi-dimensional quantitative objectives (Q2249657):
Displaying 34 items.
- 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)
- Safraless LTL synthesis considering maximal realizability (Q1674867) (← links)
- Non-deterministic weighted automata evaluated over Markov chains (Q2009651) (← links)
- Verification of multiplayer stochastic games via abstract dependency graphs (Q2119119) (← links)
- Strategy synthesis for multi-dimensional quantitative objectives (Q2249657) (← links)
- The complexity of multi-mean-payoff and multi-energy games (Q2343132) (← links)
- Looking at mean-payoff and total-payoff through windows (Q2346404) (← links)
- Average-energy games (Q2413482) (← links)
- Model checking and synthesis for branching multi-weighted logics (Q2423760) (← links)
- Reachability games with relaxed energy constraints (Q2672231) (← links)
- (Q2914366) (redirect page) (← links)
- Bounding Average-Energy Games (Q2988367) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- Playing with Repetitions in Data Words Using Energy Games (Q3300789) (← links)
- Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time (Q3449481) (← links)
- Better Quality in Synthesis through Quantitative Objectives (Q3636858) (← links)
- Non-deterministic Weighted Automata on Random Words (Q5009422) (← links)
- (Q5013874) (← links)
- (Q5015274) (← links)
- (Q5020520) (← links)
- (Q5021006) (← links)
- (Q5028465) (← links)
- Deciding Parity Games in Quasi-polynomial Time (Q5073521) (← links)
- (Q5089289) (← links)
- Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions (Q5090979) (← links)
- Synthesis for Multi-weighted Games with Branching-Time Winning Conditions (Q5100749) (← links)
- On Values of Games (Q5176377) (← links)
- (Q5875382) (← links)
- Percentile queries in multi-dimensional Markov decision processes (Q5892424) (← links)
- (Q6134270) (← links)
- Efficient Algorithms for Omega-Regular Energy Games (Q6488464) (← links)
- Multi-weighted reachability games (Q6623017) (← links)
- Different strokes in randomised strategies: revisiting Kuhn's theorem under finite-memory assumptions (Q6647764) (← links)
