Login / Signup
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