Browsing by Author Vasileva, Mariia
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
2020 | An evaluation of approximate probabilistic reachability techniques for stochastic parametric hybrid systems | Vasileva, Mariia |
Issue Date | Title | Author(s) |
---|---|---|
2020 | An evaluation of approximate probabilistic reachability techniques for stochastic parametric hybrid systems | Vasileva, Mariia |