On the Translation of Automata to Linear Temporal Logic.

Udi Boker Karoliina Lehtinen Salomon Sickert

Published in: FoSSaCS (2022)

Keyphrases

linear temporal logic
temporal logic
automata theoretic
model checking
deterministic automata
bounded model checking
finite automata
cellular automata
cross language information retrieval
regular expressions
machine translation
finite state
long run
high level
reactive systems
modal logic
evolutionary algorithm