Pages that link to "Item:Q2891434"
From MaRDI portal
The following pages link to Synthesizing Efficient Controllers (Q2891434):
Displaying 4 items.
- Synthesizing efficient systems in probabilistic environments (Q300419) (← links)
- Compositional strategy synthesis for stochastic games with multiple objectives (Q1641028) (← links)
- Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes (Q2407982) (← links)
- Probabilistic Model Checking for Energy-Utility Analysis (Q5418957) (← links)
