![](/img/cover-not-exists.png)
[IEEE 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS) - Porto, Portugal (2018.4.11-2018.4.13)] 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS) - Efficient Verification for Stochastic Mixed Monotone Systems
Dutreix, Maxence, Coogan, SamuelYear:
2018
Language:
english
DOI:
10.1109/ICCPS.2018.00023
File:
PDF, 969 KB
english, 2018