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

Cached

Download Links

by Stefano Cattani , Roberto Segala , Marta Kwiatkowska , Gethin Norman
Venue:In FoSSaCS’05, LNCS 3441
Citations:12 - 3 self