Probabilistic Synthesis and Verification for LTL on Finite Traces.

Benjamin Aminof, Linus Cooper, Sasha Rubin, Moshe Y. Vardi, Florian Zuleger

Browse the full KR paper archive.