Event-B Refinement for Continuous Behaviours Approximation.

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

Published in: ATVA (2021)

Keyphrases

continuous functions
event detection
error bounds
piecewise constant
real time
neural network
news articles
piecewise linear
efficient computation
event driven
approximation error
continuous data
approximation methods
soccer video