Online inference and enforcement of temporal properties.

Mark Gabel Zhendong Su

Published in: ICSE (1) (2010)

Keyphrases

temporal properties
model checking
online learning
formal methods
neural network
decision trees
access control
decision making
bayesian networks
multi agent
relational databases
sufficient conditions
inference process