Brief Announcement: Probabilistic Dynamic Input/Output Automata.

Pierre Civit, Maria Potop-Butucaru

Browse the full PODC paper archive.