Login / Signup
An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata.
Salomon Sickert
Javier Esparza
Published in:
CoRR (2020)
Keyphrases
</>
linear temporal logic
temporal logic
deterministic automata
model checking
bounded model checking
finite state
cellular automata
machine learning
high level
objective function
business processes
search procedure