![]() | Up a level |
Daviaud, L., Jurdziński, M., Lazić, R. , Mazowiecki, F., Pérez, G. A. & Worrell, J. (2018). When is Containment Decidable for Probabilistic Automata? In: 45th International Colloquium on Automata, Languages, and Programming. Leibniz International Proceedings in Informatics (LIPIcs), 107. (121:1-121:4). Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. ISBN 978-3-95977-076-7