# Finite state approximation for verification of partially observable stochastic hybrid systems

> Research article (Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015) · cited 12× · AI/ML

**Wikidata**: [openalex:W2063718256](https://www.wikidata.org/wiki/openalex:W2063718256)  
**Source**: https://4ort.xyz/entity/finite-state-approximation-for-verification-of-partially-observable-stochastic-hybrid-systems