Reachability solution characterization of parametric real-time systems.

Farn Wang Hsu-Chun Yen

Published in: Theor. Comput. Sci. (2004)

Keyphrases

real time systems
anytime algorithms
real time
embedded systems
real time database systems
optimal solution
distributed systems
decision making
reinforcement learning
computational intelligence
mission critical
timing constraints