Runtime Enforcement of Parametric Timed Properties with Practical Applications.

Srinivas Pinisetty Yliès Falcone Thierry Jéron Hervé Marchand

Published in: WODES (2014)

Keyphrases

feature selection
desirable properties
machine learning
wide range
access control
fine grained
petri net
topological properties
genetic algorithm
computer vision
decision trees
personal information