Login / Signup
Enforcement of (Timed) Properties with Uncontrollable Events.
Matthieu Renard
Yliès Falcone
Antoine Rollet
Srinivas Pinisetty
Thierry Jéron
Hervé Marchand
Published in:
ICTAC (2015)
Keyphrases
</>
event detection
desirable properties
petri net
data sets
neural network
artificial intelligence
knowledge base
expert systems
event types