Runtime Enforcement of Timed Properties.

Srinivas Pinisetty Yliès Falcone Thierry Jéron Hervé Marchand Antoine Rollet Omer Landry Nguena-Timo

Published in: RV (2012)

Keyphrases

petri net
structural properties
desirable properties
databases
neural network
artificial intelligence
information systems
bayesian networks
evolutionary algorithm
real world
machine learning
image processing
multiscale
video sequences