Optimal Translation of LTL to Limit Deterministic Automata
Abstract elided by the publisher.
Related papers
- From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata TACAS 2017
- Limit Deterministic and Probabilistic Automata for LTL ∖ GU TACAS 2015
- Deterministic Automata for the (F, G)-Fragment of LTL CAV 2012
- LTL to Büchi Automata Translation: Fast and More Deterministic TACAS 2012
- Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization CAV 2020
- Rabinizer 4: From LTL to Your Favourite Deterministic Automaton CAV 2018
- Index Appearance Record for Transforming Rabin Automata into Parity Automata TACAS 2017
- Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis CAV 2013