Login / Signup
A verified transformation: from polychronous programs to a variant of clocked guarded actions.
Zhibin Yang
Jean-Paul Bodeveix
Mamoun Filali
Kai Hu
Dianfu Ma
Published in:
SCOPES (2014)
Keyphrases
</>
dynamic programming
real time
fixed point
decision theoretic
goal directed
computer programs
case study
human actions
low power
programming environment
reasoning about actions
neural network
data model
human activities