Simon Jantsch
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
11
Active years
2018–2025
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SEFM | Certificates and Witnesses for Multi-objective ω-Regular Queries in Markov Decision Processes. | Christel Baier, Calvin Chau, Volodymyr Drobitko, Simon Jantsch, Sascha Klppelholz |
| 2023 | IJCAI | A Unifying Formal Approach to Importance Values in Boolean Functions. | Hans Harder, Simon Jantsch, Christel Baier, Clemens Dubslaff |
| 2022 | CONCUR | Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications. | Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Jol Ouaknine, David Purser, Markus A. Whiteland, James Worrell |
| 2021 | ATVA | Probabilistic Causes in Markov Chains. | Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek |
| 2021 | ATVA | Determinization and Limit-Determinization of Emerson-Lei Automata. | Tobias John, Simon Jantsch, Christel Baier, Sascha Klppelholz |
| 2021 | CAV | Causality-Based Game Solving. | Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber |
| 2021 | CONCUR | The Orbit Problem for Parametric Linear Dynamical Systems. | Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Jol Ouaknine, David Purser, Markus A. Whiteland, James Worrell |
| 2021 | ICALP | From Verification to Causality-Based Explications (Invited Talk). | Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek |
| 2021 | LICS | Responsibility and verification: Importance value in temporal logics. | Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer |
| 2020 | ATVA | Minimal Witnesses for Probabilistic Timed Automata. | Simon Jantsch, Florian Funke, Christel Baier |
| 2020 | FMCAD | Switss: Computing Small Witnessing Subsystems. | Simon Jantsch, Hans Harder, Florian Funke, Christel Baier |
| 2020 | TACAS | Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints. | Florian Funke, Simon Jantsch, Christel Baier |
| 2019 | FM | From LTL to Unambiguous Bchi Automata via Disambiguation of Alternating Automata. | Simon Jantsch, David Mller, Christel Baier, Joachim Klein |
| 2018 | ITP | Verifying the LTL to Bchi Automata Translation via Very Weak Alternating Automata. | Simon Jantsch, Michael Norrish |