( en | de | ru )

 

Disambiguierung von "Jantsch, Simon"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reachability in Dynamical Systems with Rounding.

, , , , , , , , und . FSTTCS, Volume 182 von LIPIcs, Seite 36:1-36:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)

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.

Jürgen Jantsch

Andreas Jantsch

Torsten Jantsch

Martin Jantsch

Ottomar Jäntsch

 

Weitere Publikationen von Autoren mit dem selben Namen

Certificates and Witnesses for Probabilistic Model Checking.. Dresden University of Technology, Germany, (2022)Operational Causality - Necessarily Sufficient and Sufficiently Necessary., , , , , und . A Journey from Process Algebra via Timed Automata to Model Learning, Volume 13560 von Lecture Notes in Computer Science, Seite 27-45. Springer, (2022)Switss: Computing Small Witnessing Subsystems., , , und . FMCAD, Seite 236-244. IEEE, (2020)Reachability in Dynamical Systems with Rounding., , , , , , , , und . FSTTCS, Volume 182 von LIPIcs, Seite 36:1-36:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)A Unifying Formal Approach to Importance Values in Boolean Functions., , , und . IJCAI, Seite 2728-2737. ijcai.org, (2023)Causality-Based Game Solving., , , , , und . CAV (1), Volume 12759 von Lecture Notes in Computer Science, Seite 894-917. Springer, (2021)Determinization and Limit-Determinization of Emerson-Lei Automata., , , und . ATVA, Volume 12971 von Lecture Notes in Computer Science, Seite 15-31. Springer, (2021)The Orbit Problem for Parametric Linear Dynamical Systems., , , , , , , , , und . CONCUR, Volume 203 von LIPIcs, Seite 28:1-28:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Verifying the LTL to Büchi Automata Translation via Very Weak Alternating Automata., und . ITP, Volume 10895 von Lecture Notes in Computer Science, Seite 306-323. Springer, (2018)Minimal Witnesses for Probabilistic Timed Automata., , und . ATVA, Volume 12302 von Lecture Notes in Computer Science, Seite 501-517. Springer, (2020)