Sign in

Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems.

Fabio SomenziBehrouz TouriAshutosh Trivedi
Published in: HSCC (2018)
Keyphrases