Product-Forms for Probabilistic Input/Output Automata.

Filippo Cavallin, Andrea Marin, Sabina Rossi

Browse the full MASCOTS paper archive.