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

by S Cattani, R Segala, M Z Kwiatkowska, G Norman
Venue:In FoSSaCS