Sign in
Achievements in correct-by-design control for stochastic systems.
Sofie Haesaert
Sadegh Soudjani
Published in:
SNR (2019)
Keyphrases
</>
stochastic systems
control system
probabilistic model
upper bound