Finding Provably Optimal Markov Chains

von Spel, Jip
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2021)

POMDP Controllers with Optimal Budget

von Spel, Jip
Veröffentlicht in QEST (19. : 2022 : Warschau) Quantitative evaluation of systems (2022)

Tweaking the Odds in Probabilistic Timed Automata

von Hartmanns, Arnd
Veröffentlicht in QEST (18. : 2021 : Online) Quantitative evaluation of systems (2021)

Gradient-Descent for Randomized Controllers Under Partial Observability

von Heck, Linus
Veröffentlicht in VMCAI (23. : 2022 : Philadelphia, Pa.) Verification, Model Checking, and Abstract Interpretation (2022)