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
Citations:18 - 4 self