Login / Signup
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment.
Tomás Babiak
Frantisek Blahoudek
Mojmír Kretínský
Jan Strejcek
Published in:
CoRR (2013)
Keyphrases
</>
temporal logic
automata theoretic
high quality
black box
deterministic automata
real time
data sets
website
lower bound
query translation