Pages that link to "Item:Q5278414"
From MaRDI portal
The following pages link to High-Quality Synthesis Against Stochastic Environments (Q5278414):
Displaying 5 items.
- Synthesizing efficient systems in probabilistic environments (Q300419) (← links)
- Synthesis with rational environments (Q314471) (← links)
- Latticed-LTL synthesis in the presence of noisy inputs (Q1677194) (← links)
- Linear temporal logic -- from infinite to finite horizon (Q2147173) (← links)
- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation (Q6487347) (← links)