Real-Time Computations with Restricted Nondeterminism.

Patrick C. Fischer Chandra M. R. Kintala

Published in: Math. Syst. Theory (1979)

Keyphrases

real time
control system
low cost
high speed
real time systems
data sets
artificial intelligence
data acquisition
situation calculus