Information-Guided Temporal Logic Inference with Prior Knowledge.

Zhe Xu Melkior Ornik A. Agung Julius Ufuk Topcu

Published in: CoRR (2018)

Keyphrases

prior knowledge
temporal logic
prior information
heuristic search
model checking
satisfiability problem
information flow