Simon Jantsch

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 33

Top Topics

Dynamical Systems

Assemble To Order Systems

Top Venues

Innov. Syst. Softw. Eng.

Publications

Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata. Innov. Syst. Softw. Eng. 19 (2) (2023)
Hans Harder, Simon Jantsch, Christel Baier, Clemens Dubslaff
A Unifying Formal Approach to Importance Values in Boolean Functions. IJCAI (2023)
Hans Harder, Simon Jantsch, Christel Baier, Clemens Dubslaff
A Unifying Formal Approach to Importance Values in Boolean Functions. CoRR (2023)
Robin Ziemek, Jakob Piribauer, Florian Funke, Simon Jantsch, Christel Baier
Probabilistic causes in Markov chains. Innov. Syst. Softw. Eng. 18 (3) (2022)
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata. Innov. Syst. Softw. Eng. 18 (3) (2022)
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
Operational Causality - Necessarily Sufficient and Sufficiently Necessary. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications. CONCUR (2022)
Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber
Causality-Based Game Solving. CAV (1) (2021)
Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber
Causality-Based Game Solving. CoRR (2021)
Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer
Responsibility and verification: Importance value in temporal logics. CoRR (2021)
Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
Probabilistic causes in Markov chains. CoRR (2021)
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek
From Verification to Causality-based Explications. CoRR (2021)
Simon Jantsch, Jakob Piribauer, Christel Baier
Witnessing Subsystems for Probabilistic Systems with Low Tree Width. GandALF (2021)
Simon Jantsch, Jakob Piribauer, Christel Baier
Witnessing subsystems for probabilistic systems with low tree width. CoRR (2021)
Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer
Responsibility and verification: Importance value in temporal logics. LICS (2021)
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek
From Verification to Causality-Based Explications (Invited Talk). ICALP (2021)
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
Determinization and Limit-Determinization of Emerson-Lei Automata. ATVA (2021)
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
Determinization and Limit-determinization of Emerson-Lei automata. CoRR (2021)
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
The Orbit Problem for Parametric Linear Dynamical Systems. CONCUR (2021)
Simon Jantsch, David Müller, Christel Baier, Joachim Klein
From LTL to unambiguous Büchi automata via disambiguation of alternating automata. Formal Methods Syst. Des. 58 (1-2) (2021)
Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
Probabilistic Causes in Markov Chains. ATVA (2021)
Christel Baier, Florian Funke, Simon Jantsch, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
The Orbit Problem for Parametric Linear Dynamical Systems. CoRR (2021)
Simon Jantsch, Hans Harder, Florian Funke, Christel Baier
Switss: Computing Small Witnessing Subsystems. FMCAD (2020)
Simon Jantsch, Florian Funke, Christel Baier
Minimal Witnesses for Probabilistic Timed Automata. ATVA (2020)
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland
Reachability in Dynamical Systems with Rounding. CoRR (2020)
Simon Jantsch, Hans Harder, Florian Funke, Christel Baier
SWITSS: Computing Small Witnessing Subsystems. CoRR (2020)
Simon Jantsch, Florian Funke, Christel Baier
Minimal witnesses for probabilistic timed automata. CoRR (2020)
Florian Funke, Simon Jantsch, Christel Baier
Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints. TACAS (1) (2020)
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland
Reachability in Dynamical Systems with Rounding. FSTTCS (2020)
Florian Funke, Simon Jantsch, Christel Baier
Farkas certificates and minimal witnesses for probabilistic reachability constraints. CoRR (2019)
Simon Jantsch, David Müller, Christel Baier, Joachim Klein
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata. CoRR (2019)
Simon Jantsch, David Müller, Christel Baier, Joachim Klein
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata. FM (2019)
Simon Jantsch, Michael Norrish
Verifying the LTL to Büchi Automata Translation via Very Weak Alternating Automata. ITP (2018)