Minimal Witnesses for Probabilistic Timed Automata

von Jantsch, Simon
Veröffentlicht in ATVA (18. : 2020 : Online) Automated technology for verification and analysis (2020)

Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints

von Funke, Florian
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2020)

Determinization and Limit-Determinization of Emerson-Lei Automata

von John, Tobias
Veröffentlicht in ATVA (19. : 2021 : Online) Automated Technology for Verification and Analysis (2021)

Probabilistic Causes in Markov Chains

von Baier, Christel
Veröffentlicht in ATVA (19. : 2021 : Online) Automated Technology for Verification and Analysis (2021)

Causality-Based Game Solving

von Baier, Christel
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)