Login / Signup
On the Translation of Automata to Linear Temporal Logic.
Udi Boker
Karoliina Lehtinen
Salomon Sickert
Published in:
CoRR (2022)
Keyphrases
</>
linear temporal logic
temporal logic
automata theoretic
model checking
deterministic automata
bounded model checking
finite automata
modal logic
cellular automata
machine translation
finite state
concurrent systems
cross language information retrieval
high level
test cases
regular expressions