Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B.

Guillaume Dupont Yamine Aït Ameur Marc Pantel Neeraj Kumar Singh

Published in: TASE (2019)

Keyphrases

event detection
news articles
artificial intelligence
theorem prover
mathematical proofs
database
human behavior
behavior recognition
complex events
event recognition
event driven
temporal patterns
theorem proving
reinforcement learning
website
machine learning
data sets