Simon Jantsch

38 papers A* 3B 9Journal 18Unranked 6
YearRankTypeTitle / Venue / Authors
2025 B conf
Certificates and Witnesses for Multi-objective ømega-Regular Queries in Markov Decision Processes.
SEFM
Christel Baier, Calvin Chau, Volodymyr Drobitko, Simon Jantsch, Sascha Klüppelholz
2025 J jnl
Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes.
CoRR
Christel Baier, Calvin Chau, Volodymyr Drobitko, Simon Jantsch, Sascha Klüppelholz
2025 — conf
Probabilistic Counterexamples Through the Ages.
Principles of Formal Quantitative Analysis
Erika Ábrahám, Nils Jansen, Simon Jantsch
2023 A* conf
A Unifying Formal Approach to Importance Values in Boolean Functions.
IJCAI
Hans Harder, Simon Jantsch, Christel Baier, Clemens Dubslaff
2023 J jnl
A Unifying Formal Approach to Importance Values in Boolean Functions.
CoRR
Hans Harder, Simon Jantsch, Christel Baier, Clemens Dubslaff
2023 J jnl
Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata.
Innov. Syst. Softw. Eng.
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
2022 — —
Certificates and Witnesses for Probabilistic Model Checking.
Simon Jantsch
2022 J jnl
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata.
Innov. Syst. Softw. Eng.
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
2022 — conf
Operational Causality - Necessarily Sufficient and Sufficiently Necessary.
A Journey from Process Algebra via Timed Automata to Model Learning
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
2022 B conf
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications.
CONCUR
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
2022 J jnl
Probabilistic causes in Markov chains.
Innov. Syst. Softw. Eng.
Robin Ziemek, Jakob Piribauer, Florian Funke, Simon Jantsch, Christel Baier
2022 — ch.
Zertifikate und Zeugen im Probabilistischen Model Checking.
Ausgezeichnete Informatikdissertationen
Simon Jantsch
2021 — conf
Causality-Based Game Solving.
CAV (1)
Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber
2021 J jnl
Causality-Based Game Solving.
CoRR
Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber
2021 B conf
Determinization and Limit-Determinization of Emerson-Lei Automata.
ATVA
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
2021 J jnl
Determinization and Limit-determinization of Emerson-Lei automata.
CoRR
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
2021 J jnl
From LTL to unambiguous Büchi automata via disambiguation of alternating automata.
Formal Methods Syst. Des.
Simon Jantsch, David Müller, Christel Baier, Joachim Klein
2021 A* conf
From Verification to Causality-Based Explications (Invited Talk).
ICALP
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek
2021 J jnl
From Verification to Causality-based Explications.
CoRR
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek
2021 B conf
Probabilistic Causes in Markov Chains.
ATVA
Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
2021 J jnl
Probabilistic causes in Markov chains.
CoRR
Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
2021 A* conf
Responsibility and verification: Importance value in temporal logics.
LICS
Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer
2021 J jnl
Responsibility and verification: Importance value in temporal logics.
CoRR
Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer
2021 B conf
The Orbit Problem for Parametric Linear Dynamical Systems.
CONCUR
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
2021 J jnl
The Orbit Problem for Parametric Linear Dynamical Systems.
CoRR
Christel Baier, Florian Funke, Simon Jantsch, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
2021 — conf
Witnessing Subsystems for Probabilistic Systems with Low Tree Width.
GandALF
Simon Jantsch, Jakob Piribauer, Christel Baier
2021 J jnl
Witnessing subsystems for probabilistic systems with low tree width.
CoRR
Simon Jantsch, Jakob Piribauer, Christel Baier
2020 — conf
Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints.
TACAS (1)
Florian Funke, Simon Jantsch, Christel Baier
2020 B conf
Minimal Witnesses for Probabilistic Timed Automata.
ATVA
Simon Jantsch, Florian Funke, Christel Baier
2020 J jnl
Minimal witnesses for probabilistic timed automata.
CoRR
Simon Jantsch, Florian Funke, Christel Baier
2020 — conf
Reachability in Dynamical Systems with Rounding.
FSTTCS
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland
2020 J jnl
Reachability in Dynamical Systems with Rounding.
CoRR
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland
2020 J jnl
SWITSS: Computing Small Witnessing Subsystems.
CoRR
Simon Jantsch, Hans Harder, Florian Funke, Christel Baier
2020 B conf
Switss: Computing Small Witnessing Subsystems.
FMCAD
Simon Jantsch, Hans Harder, Florian Funke, Christel Baier
2019 J jnl
Farkas certificates and minimal witnesses for probabilistic reachability constraints.
CoRR
Florian Funke, Simon Jantsch, Christel Baier
2019 B conf
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata.
FM
Simon Jantsch, David Müller, Christel Baier, Joachim Klein
2019 J jnl
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata.
CoRR
Simon Jantsch, David Müller, Christel Baier, Joachim Klein
2018 B conf
Verifying the LTL to Büchi Automata Translation via Very Weak Alternating Automata.
ITP
Simon Jantsch, Michael Norrish