Design Verfication and Reachability Analysis Using Algebraic Manipulation.

Srinivas Devadas Kurt Keutzer A. S. Krishnakumar

Published in: ICCD (1991)

Keyphrases

reachability analysis
knowledge based systems
case study
user interface
markov decision processes
least squares
supervised learning
design process
software architecture
computer aided