Simon Jantsch

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Reachability in dynamical systems with rounding	2026-03-23	Paper
Witnessing subsystems for probabilistic systems with low tree width	2024-12-06	Paper
Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications	2024-08-13	Paper
From LTL to unambiguous Büchi automata via disambiguation of alternating automata	2024-03-14	Paper
scientific article; zbMATH DE number 7730630 (Why is no real title available?) (available as arXiv preprint)	2023-08-21	Paper
Operational causality -- necessarily sufficient and sufficiently necessary Lecture Notes in Computer Science	2023-07-26	Paper
Minimal Witnesses for Probabilistic Timed Automata 1517.682	2022-12-22	Paper
Farkas certificates and minimal witnesses for probabilistic reachability constraints Tools and Algorithms for the Construction and Analysis of Systems	2022-10-13	Paper
Probabilistic causes in Markov chains (available as arXiv preprint)	2022-06-22	Paper
Determinization and limit-determinization of Emerson-Lei automata (available as arXiv preprint)	2022-06-22	Paper
From LTL to unambiguous Büchi automata via disambiguation of alternating automata Formal Methods in System Design	2022-06-20	Paper
Causality-based game solving (available as arXiv preprint)	2022-03-25	Paper
Farkas certificates and minimal witnesses for probabilistic reachability constraints (available as arXiv preprint)	2019-10-23	Paper
Verifying the LTL to Büchi automata translation via very weak alternating automata	2018-10-04	Paper

Research outcomes over time

This page was built for person: Simon Jantsch