When are emptiness and containment decidable for probabilistic automata?Open Website

Laure Daviaud, Marcin Jurdzinski, Ranko Lazic, Filip Mazowiecki, Guillermo A. Pérez, James Worrell

2021 (modified: 15 May 2022)J. Comput. Syst. Sci. 2021Readers: Everyone
0 Replies