Login / Signup
Converting Linear-Time Temporal Logic to Generalized Büchi Automata.
Alexander Schimpf
Peter Lammich
Published in:
Arch. Formal Proofs (2014)
Keyphrases
</>
linear time temporal logic
cellular automata
temporal logic
model checking
finite automata
sequent calculus
regular expressions
natural deduction
linear temporal logic
cut elimination