Login / Signup
Strong Backdoors for Linear Temporal Logic.
Arne Meier
Sebastian Ordyniak
M. S. Ramanujan
Irena Schindler
Published in:
CoRR (2016)
Keyphrases
</>
linear temporal logic
temporal logic
model checking
satisfiability problem
bounded model checking
high level
modal logic
formal verification
hidden structure