Pages that link to "Item:Q3636858"
From MaRDI portal
The following pages link to Better Quality in Synthesis through Quantitative Objectives (Q3636858):
Displaying 11 items.
- Synthesizing efficient systems in probabilistic environments (Q300419) (← links)
- Synthesis of Reactive(1) designs (Q439954) (← links)
- Down the Borel hierarchy: solving Muller games via safety games (Q477197) (← 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)
