Stochastic Transition Systems for Continuous State Spaces and Non-determinism.

Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman

Browse the full FOSSACS paper archive.