Simon Jantsch

Available identifiers

zbMath Open jantsch.simonMaRDI QIDQ832240

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q6134272	2023-08-21	Paper
Operational causality -- necessarily sufficient and sufficiently necessary	2023-07-26	Paper
Minimal Witnesses for Probabilistic Timed Automata	2022-12-22	Paper
Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints	2022-10-13	Paper
Probabilistic causes in Markov chains	2022-06-22	Paper
Determinization and limit-determinization of Emerson-Lei automata	2022-06-22	Paper
From LTL to unambiguous Büchi automata via disambiguation of alternating automata	2022-06-20	Paper
Causality-based game solving	2022-03-25	Paper
Farkas certificates and minimal witnesses for probabilistic reachability constraints	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