( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Orbit Problem for Parametric Linear Dynamical Systems.

, , , , , , , , , и . CONCUR, том 203 из LIPIcs, стр. 28:1-28:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (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.

Torsten Jantsch

Andreas Jantsch

Jürgen Jantsch

Martin Jantsch

Ottomar Jäntsch

 

Другие публикации лиц с тем же именем

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