Author of the publication

Universality and Forall-Exactness of Cost Register Automata with Few Registers.

, and . MFCS, volume 272 of LIPIcs, page 40:1-40:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)

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

Finding Short Synchronizing Words for Prefix Codes., and . MFCS, volume 117 of LIPIcs, page 21:1-21:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Approximating the Maximum Number of Synchronizing States in Automata.. CoRR, (2016)Synchronizing automata and coding theory. (Automates synchronisant et théorie du codage).. University of Paris-Est, France, (2020)Palindromic Subsequences in Finite Words., and . LATA, volume 11417 of Lecture Notes in Computer Science, page 460-468. Springer, (2019)Subset Synchronization in Monotonic Automata., and . CoRR, (2017)Synchronization Problems in Automata Without Non-trivial Cycles.. CIAA, volume 10329 of Lecture Notes in Computer Science, page 188-200. Springer, (2017)Subset Synchronization in Monotonic Automata., and . Fundam. Informaticae, 162 (2-3): 205-221 (2018)Fixed interval scheduling with third-party machines., , , and . Networks, 77 (3): 361-371 (2021)Traversing automata with current state uncertainty under LTLf constraints., and . CoRR, (2023)Formal and Empirical Studies of Counting Behaviour in ReLU RNNs., , , , and . ICGI, volume 217 of Proceedings of Machine Learning Research, page 199-222. PMLR, (2023)