LTL3DRA
LTL to deterministic Rabin automata translator based on LTL3BA
...Strejček: Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment (2013)
In 11th International Symposium on Automated Technology for Verification and Analysis (ATVA 2013)
In order to compile LTL3DRA, the BuDDy library (http://sourceforge.net/projects/buddy/) is needed. Tested with buddy 2.4.
The benchmark used in "Comparison of LTL to Deterministic Rabin Automata Translators" paper published on LPAR19 can be found in Files/LPAR19-benchmarks (https://sourceforge.net/projects/ltl3dra/files/LPAR19-benchmarks/).