Pages that link to "Item:Q3636858"
From MaRDI portal
The following pages link to Better Quality in Synthesis through Quantitative Objectives (Q3636858):
Displaying 49 items.
- Synthesizing efficient systems in probabilistic environments (Q300419) (← links)
- Synthesis with rational environments (Q314471) (← links)
- Synthesis of Reactive(1) designs (Q439954) (← links)
- Down the Borel hierarchy: solving Muller games via safety games (Q477197) (← links)
- Polynomial-time algorithms for energy games with special weight structures (Q487011) (← links)
- Quantitative fair simulation games (Q528184) (← links)
- Symbolic approximate time-optimal control (Q533800) (← links)
- Simulation distances (Q764284) (← links)
- Equilibria for games with combined qualitative and quantitative objectives (Q824280) (← links)
- Safraless LTL synthesis considering maximal realizability (Q1674867) (← links)
- Latticed-LTL synthesis in the presence of noisy inputs (Q1677194) (← links)
- On equilibria in quantitative games with reachability/safety objectives (Q1678747) (← links)
- Energy parity games (Q1758152) (← links)
- Quantitative reductions and vertex-ranked infinite games (Q2029603) (← links)
- On satisficing in quantitative games (Q2044188) (← links)
- On composition of bounded-recall plans (Q2046034) (← links)
- Vacuity in synthesis (Q2058393) (← links)
- Equilibria in multi-player multi-outcome infinite sequential games (Q2225601) (← links)
- Strategy synthesis for multi-dimensional quantitative objectives (Q2249657) (← links)
- Synthesizing robust systems (Q2249662) (← links)
- Reactive synthesis with maximum realizability of linear temporal logic specifications (Q2303876) (← links)
- Synthesizing optimally resilient controllers (Q2303880) (← links)
- Qualitative analysis of concurrent mean-payoff games (Q2346403) (← links)
- Hyperplane separation technique for multidimensional mean-payoff games (Q2361356) (← links)
- Average-energy games (Q2413482) (← links)
- Parameterized linear temporal logics meet costs: still not costlier than LTL (Q2413483) (← links)
- A note on the approximation of mean-payoff games (Q2446598) (← links)
- Quantitative vs. weighted automata (Q2695484) (← links)
- Synthesizing Efficient Controllers (Q2891434) (← links)
- Temporal Specifications with Accumulative Values (Q2946736) (← links)
- Synthesizing Non-Vacuous Systems (Q2961552) (← links)
- Bounding Average-Energy Games (Q2988367) (← links)
- QUASY: Quantitative Synthesis Tool (Q3000655) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- Symbolic Model Checking in Non-Boolean Domains (Q3176389) (← links)
- (Q3384874) (← links)
- Multiplayer Cost Games with Simple Nash Equilibria (Q3455836) (← links)
- Quantitative Simulation Games (Q3587251) (← links)
- Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies (Q5009424) (← links)
- (Q5009445) (← links)
- (Q5013874) (← links)
- (Q5013884) (← links)
- (Q5021006) (← links)
- Synthesizing Optimally Resilient Controllers (Q5079759) (← links)
- Optimally Resilient Strategies in Pushdown Safety Games (Q5089248) (← links)
- Synthesis for Multi-weighted Games with Branching-Time Winning Conditions (Q5100749) (← links)
- (Q5111253) (← links)
- Solving Mean-Payoff Games via Quasi Dominions (Q5164175) (← links)
- Solving mean-payoff games via quasi dominions (Q6204169) (← links)
