Login / Signup

Symbolic Reachability Analysis for Multiple-clock System Design.

Ju Hwan YiChong-Min Kyung
Published in: J. Circuits Syst. Comput. (2005)
Keyphrases
  • reachability analysis
  • power consumption
  • real time
  • artificial intelligence
  • case study
  • markov decision processes
  • high level
  • objective function
  • relational databases
  • design process