LTL to Bchi Automata Translation: Fast and More Deterministic.

Toms Babiak, Mojmr Kretnsk, Vojtech Rehk, Jan Strejcek

Browse the full TACAS paper archive.