Graph Temporal Logic Inference for Classification and Identification.

Zhe Xu Alexander J. Nettekoven A. Agung Julius Ufuk Topcu

Published in: CDC (2019)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
transition systems
linear temporal logic
bayesian networks
formal specification
knowledge base
structured data
belief revision
probabilistic inference
inference process
model checker
verification method