When is Containment Decidable for Probabilistic Automata?.

Laure Daviaud, Marcin Jurdzinski, Ranko Lazic, Filip Mazowiecki, Guillermo A. Prez, James Worrell

Browse the full ICALP paper archive.