[ACM Press the 21st International Conference - Porto, Portugal (2018.04.11-2018.04.13)] Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18 - Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems
Somenzi, Fabio, Touri, Behrouz, Trivedi, AshutoshYear:
2018
Language:
english
DOI:
10.1145/3178126.3178149
File:
PDF, 2.60 MB
english, 2018