Switched Probabilistic I/O Automata.

Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager

Browse the full ICTAC paper archive.