Limit-Deterministic Büchi Automata for Linear Temporal Logic.

Salomon Sickert Javier Esparza Stefan Jaax Jan Kretínský

Published in: CAV (2) (2016)

Keyphrases

linear temporal logic
deterministic automata
temporal logic
finite state automaton
model checking
finite automata
turing machine
bounded model checking
regular expressions
finite state
deterministic finite automata
domain specific
cellular automata
tree automata