Predictive runtime enforcement.

Srinivas Pinisetty Viorel Preoteasa Stavros Tripakis Thierry Jéron Yliès Falcone Hervé Marchand

Published in: Formal Methods Syst. Des. (2017)

Keyphrases

access control
data sets
databases
decision making
video sequences
predictive model
artificial intelligence
image segmentation
bayesian networks
objective function
information technology