Information-Guided Temporal Logic Inference with Prior Knowledge.

Zhe Xu Melkior Ornik A. Agung Julius Ufuk Topcu

Published in: ACC (2019)

Keyphrases

temporal logic
prior knowledge
model checking
contextual information
artificial intelligence
state space
satisfiability problem
concurrent systems