C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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