Author of the publication

When is Containment Decidable for Probabilistic Automata?.

, , , , , and . ICALP, volume 107 of LIPIcs, page 121:1-121:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The complexity of soundness in workflow nets., , and . LICS, page 20:1-20:13. ACM, (2022)When is Containment Decidable for Probabilistic Automata?., , , , , and . ICALP, volume 107 of LIPIcs, page 121:1-121:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Reachability for Bounded Branching VASS., and . CONCUR, volume 140 of LIPIcs, page 28:1-28:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Dynamic Data Structures for Timed Automata Acceptance., , , , and . IPEC, volume 214 of LIPIcs, page 20:1-20:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Fined-Grained Complexity of Ambiguity Problems on Automata and Directed Graphs., , , , and . CoRR, (January 2025)Maximal Partition Logic: Towards a Logical Characterization of Copyless Cost Register Automata., and . CSL, volume 41 of LIPIcs, page 144-159. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Let's Agree to Degree: Comparing Graph Convolutional Networks in the Message-Passing Framework., , and . ICML, volume 139 of Proceedings of Machine Learning Research, page 3640-3649. PMLR, (2021)Reachability in Fixed Dimension Vector Addition Systems with States., , , , and . CONCUR, volume 171 of LIPIcs, page 48:1-48:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Monus Semantics in Vector Addition Systems with States., , , and . CONCUR, volume 279 of LIPIcs, page 10:1-10:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)On Rational Recursive Sequences., , , and . STACS, volume 254 of LIPIcs, page 24:1-24:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)