Probabilistic Synthesis and Verification for LTL on Finite Traces. - Benjamin Aminof; Linus Cooper; Sasha Rubin; Moshe Y. Vardi; Florian Zuleger (KR, 2024)