Simon Jantsch

According to our database, Simon Jantsch authored at least 26 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes.

Christel Baier, Calvin Chau, Volodymyr Drobitko, Simon Jantsch, Sascha Klüppelholz

CoRR, August, 2025

Artefact for SEFM 2025.

Christel Baier, Calvin Chau, Volodymyr Drobitko, Simon Jantsch, Sascha Klüppelholz

Dataset, June, 2025

Certificates and Witnesses for Multi-objective ømega-Regular Queries in Markov Decision Processes.

Christel Baier, Calvin Chau, Volodymyr Drobitko, Simon Jantsch, Sascha Klüppelholz

Proceedings of the Software Engineering and Formal Methods - 23rd International Conference, 2025

Probabilistic Counterexamples Through the Ages.

Erika Ábrahám, Nils Jansen, Simon Jantsch

Proceedings of the Principles of Formal Quantitative Analysis, 2025

2023

Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata.

Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz

Innov. Syst. Softw. Eng., June, 2023

A Unifying Formal Approach to Importance Values in Boolean Functions.

Hans Harder, Simon Jantsch, Christel Baier, Clemens Dubslaff

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

Zertifikate und Zeugen im Probabilistischen Model Checking.

Simon Jantsch

Ausgezeichnete Informatikdissertationen, 2022

Certificates and Witnesses for Probabilistic Model Checking.

Simon Jantsch

PhD thesis, 2022

From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata.

Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz

Innov. Syst. Softw. Eng., 2022

Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications.

Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

Operational Causality - Necessarily Sufficient and Sufficiently Necessary.

Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

Witnessing Subsystems for Probabilistic Systems with Low Tree Width.

Simon Jantsch, Jakob Piribauer, Christel Baier

Proceedings of the Proceedings 12th International Symposium on Games, 2021

From Verification to Causality-based Explications.

Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek

CoRR, 2021

The Orbit Problem for Parametric Linear Dynamical Systems.

Christel Baier, Florian Funke, Simon Jantsch, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell

CoRR, 2021

Responsibility and verification: Importance value in temporal logics.

Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

From Verification to Causality-Based Explications (Invited Talk).

Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

The Orbit Problem for Parametric Linear Dynamical Systems.

Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

Causality-Based Game Solving.

Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Determinization and Limit-Determinization of Emerson-Lei Automata.

Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz

Proceedings of the Automated Technology for Verification and Analysis, 2021

Probabilistic Causes in Markov Chains.

Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek

Proceedings of the Automated Technology for Verification and Analysis, 2021

2020

Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints.

Florian Funke, Simon Jantsch, Christel Baier

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Reachability in Dynamical Systems with Rounding.

Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland

Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020

Switss: Computing Small Witnessing Subsystems.

Simon Jantsch, Hans Harder, Florian Funke, Christel Baier

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

Minimal Witnesses for Probabilistic Timed Automata.

Simon Jantsch, Florian Funke, Christel Baier

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata.

Simon Jantsch, David Müller, Christel Baier, Joachim Klein

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

Verifying the LTL to Büchi Automata Translation via Very Weak Alternating Automata.

Simon Jantsch, Michael Norrish

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018