Inductive Synthesis for Probabilistic Programs Reaches New Horizons

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

Inductive Synthesis of Finite-State Controllers for POMDPs

von Andriushchenko, Roman
Veröffentlicht in Conference on Uncertainty in Artificial Intelligence (38. : 2022 : Eindhoven) 38th Conference on Uncertainty in Artificial Intelligence (UAI 2022) ; Volume 1 of 3 (2023)

PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs

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