Soundness of the quasi-synchronous abstraction.

Guillaume Baudart Timothy Bourke Marc Pouzet

Published in: FMCAD (2016)

Keyphrases

high level
asynchronous communication
data abstraction
feature selection
web services
control system
low level
state space
data sets
artificial intelligence
cooperative
artificial neural networks
data model
special case
probabilistic model
decision theoretic planning