On the verification of probabilistic I/O automata with unspecified rates.

Sergio Giro, Pedro R. D'Argenio

Browse the full SAC paper archive.