Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems.

Holger Hermanns, Sven Johr

Browse the full DSN paper archive.