( en | de | ru )

 

Disambiguierung von "Fijalkow, Nathanaël"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Two Recursively Inseparable Problems for Probabilistic Automata.

, , , und . CoRR, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Nathanaël Wallenhorst

Nathanaël Barrot

Nathanaël Delmotte

Nathanael Baché

Nathanael Albert

 

Weitere Publikationen von Autoren mit dem selben Namen

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