G.: Stochastic transition systems for continuous state spaces and non-determinism (2005)

by S Cattani, R Segala, M Kwiatkowska, Norman
Venue:In: Proceedings of the 8th International Conference on Foundations of Software Science and Computational Structures (FOSSACS). Number 3441 in Lecture Notes In Computer Science