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

by Sayan Mitra , Nancy Lynch
Venue:In LICS workshop on Probabilistic Automata and Logics (PAul06
Citations:6 - 4 self