External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Abstraction based reachability analysis for finite branching stochastic hybrid systems

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]

Authors

Wenji Zhang

This author has not been identified. Look up 'Wenji Zhang' in Google

Pavithra Prabhakar

This author has not been identified. Look up 'Pavithra Prabhakar' in Google

Balasubramaniam Natarajan

This author has not been identified. Look up 'Balasubramaniam Natarajan' in Google
runs on