Wenji Zhang, Pavithra Prabhakar, Balasubramaniam Natarajan. Abstraction based reachability analysis for finite branching stochastic hybrid systems. In Sonia MartÃnez, Eduardo Tovar, Chris Gill, Bruno Sinopoli, editors, Proceedings of the 8th International Conference on Cyber-Physical Systems, ICCPS 2017, Pittsburgh, Pennsylvania, USA, April 18-20, 2017. pages 121-130, ACM, 2017. [doi]
@inproceedings{ZhangPN17,
title = {Abstraction based reachability analysis for finite branching stochastic hybrid systems},
author = {Wenji Zhang and Pavithra Prabhakar and Balasubramaniam Natarajan},
year = {2017},
doi = {10.1145/3055004.3055023},
url = {http://doi.acm.org/10.1145/3055004.3055023},
researchr = {https://researchr.org/publication/ZhangPN17},
cites = {0},
citedby = {0},
pages = {121-130},
booktitle = {Proceedings of the 8th International Conference on Cyber-Physical Systems, ICCPS 2017, Pittsburgh, Pennsylvania, USA, April 18-20, 2017},
editor = {Sonia MartÃnez and Eduardo Tovar and Chris Gill and Bruno Sinopoli},
publisher = {ACM},
isbn = {978-1-4503-4965-9},
}