Login / Signup
Monitoring First-order Temporal Properties.
Felix Klaedtke
Published in:
TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Keyphrases
</>
temporal properties
model checking
monitoring system
possibility theory
first order logic
higher order
formal methods
real time
neural network
artificial intelligence
knowledge base
bayesian networks
multi agent systems
expert systems
belief revision
temporal logic