Login / Signup

An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata.

Salomon SickertJavier Esparza
Published in: LICS (2020)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • deterministic automata
  • bounded model checking
  • finite state
  • cellular automata
  • finite automata
  • knowledge base
  • modal logic