Approximate simulations for task-structured probabilistic I/O automata (2006)

by S Mitra, N Lynch
Venue:In LICS Workshop on Probabilistic Automata and Logics