( en | de | ru )

 

Disambiguation of "Fijalkow, Nathanaël"

Author of the publication

copydeleteadd this publication to your clipboard
Alternating Tree Automata with Qualitative Semantics.

, , , , , , , , , and . ACM Trans. Comput. Log., 22 (1): 7:1-7:24 (2021)

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.

Nathanaël Wallenhorst

Nathanaël Barrot

Nathanaël Delmotte

Nathanael Baché

Nathanael Albert

 

Other publications of authors with the same name

Alternating Tree Automata with Qualitative Semantics., , , , , , , , , and . CoRR, (2020)Monadic Second-Order Logic with Arbitrary Monadic Predicates., and . ACM Trans. Comput. Log., 18 (3): 20:1-20:17 (2017)Universal Graphs and Good for Games Automata: New Tools for Infinite Duration Games., and . FoSSaCS, volume 11425 of Lecture Notes in Computer Science, page 1-26. Springer, (2019)How to Play Optimally for Regular Objectives?, , , and . ICALP, volume 261 of LIPIcs, page 118:1-118:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Value Iteration Using Universal Graphs and the Complexity of Mean Payoff Games., , and . MFCS, volume 170 of LIPIcs, page 34:1-34:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Tight Bounds using Hankel Matrix for Arithmetic Circuits with Unique Parse Trees., , and . Electron. Colloquium Comput. Complex., (2018)Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic., , , , and . CoRR, (2023)Lower Bounds for Arithmetic Circuits via the Hankel Matrix., , , and . Comput. Complex., 30 (2): 14 (2021)Probabilistic Automata of Bounded Ambiguity., , and . CONCUR, volume 85 of LIPIcs, page 19:1-19:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)On the decidability of reachability in linear time-invariant systems., , , , and . HSCC, page 77-86. ACM, (2019)