Pages that link to "Item:Q3457785"
From MaRDI portal
The following pages link to On Time with Minimal Expected Cost! (Q3457785):
Displayed 9 items.
- Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata (Q517046) (← links)
- Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games (Q528191) (← links)
- Optimal and robust controller synthesis using energy timed automata with uncertainty (Q1996422) (← links)
- Probabilistic black-box reachability checking (extended version) (Q2008284) (← links)
- Optimal and robust controller synthesis. Using energy timed automata with uncertainty (Q2024347) (← links)
- Markov automata with multiple objectives (Q2151241) (← links)
- Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata (Q2945592) (← links)
- Safe and Optimal Adaptive Cruise Control (Q3449638) (← links)
- Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints (Q5009420) (← links)