![](/img/cover-not-exists.png)
[ACM Press the 8th International Conference - Pittsburgh, Pennsylvania (2017.04.18-2017.04.20)] Proceedings of the 8th International Conference on Cyber-Physical Systems - ICCPS '17 - Abstraction based reachability analysis for finite branching stochastic hybrid systems
Zhang, Wenji, Prabhakar, Pavithra, Natarajan, BalasubramaniamYear:
2017
Language:
english
DOI:
10.1145/3055004.3055023
File:
PDF, 1.38 MB
english, 2017