"A Verified and Compositional Translation of LTL to Deterministic Rabin ..."

Julian Brunner, Benedikt Seidl, Salomon Sickert (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics