Harnessing LTL With Freeze Quantification.

Daniel Hausmann Stefan Milius Lutz Schröder

Published in: CoRR (2020)

Keyphrases

model checking
linear temporal logic
temporal logic
bounded model checking
collective intelligence
deterministic automata
linear time temporal logic
learning algorithm
knowledge base
user interface
dynamic programming
probabilistic model
theorem proving