Linear Temporal Logic and Propositional Schemata, Back and Forth (extended version)

Vincent Aravantinos Ricardo Caferra Nicolas Peltier

Published in: CoRR (2011)

Keyphrases

linear temporal logic
temporal logic
bounded model checking
model checking
propositional logic
general purpose
evolutionary algorithm
first order logic
knowledge compilation
machine learning
heuristic search