Login / Signup

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

Julian BrunnerBenedikt SeidlSalomon Sickert
Published in: ITP (2019)
Keyphrases