Flexible runtime verification based on logical clock constraints.

Daian Yue Vania Joloboff Frédéric Mallet

Published in: FDL (2016)

Keyphrases

high speed
multiple constraints
constraint programming
lightweight
knowledge base
bayesian networks
video sequences
search algorithm
database
machine learning
model checking
constraint satisfaction
power consumption
real world
constrained optimization
probabilistic logic
databases