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

by Stefano Cattani, Roberto Segala, Marta Kwiatkowska, Gethin Norman
Venue:In FoSSaCS’05, LNCS 3441