Login / Signup
Graph Temporal Logic Inference for Classification and Identification.
Zhe Xu
Alexander J. Nettekoven
A. Agung Julius
Ufuk Topcu
Published in:
CoRR (2019)
Keyphrases
</>
temporal logic
model checking
satisfiability problem
modal logic
concurrent systems
temporal knowledge
verification method
social networks
bayesian networks
graphical models
structured data
probabilistic inference
formal verification
dynamic constraints