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]
Abstract is missing.