Sign in

Enforcement of (Timed) Properties with Uncontrollable Events.

Matthieu RenardYliès FalconeAntoine RolletSrinivas PinisettyThierry JéronHervé Marchand
Published in: ICTAC (2015)
Keyphrases
  • event detection
  • desirable properties
  • petri net
  • data sets
  • neural network
  • artificial intelligence
  • knowledge base
  • expert systems
  • event types