Login / Signup

Predictive runtime enforcement.

Srinivas PinisettyViorel PreoteasaStavros TripakisThierry JéronYliès FalconeHervé 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