Login / Signup

Improved BDD-Based Discrete Analysis of Timed Systems.

Truong Khanh NguyenJun SunYang LiuJin Song DongYan Liu
Published in: FM (2012)
Keyphrases
  • distributed systems
  • database
  • machine learning
  • statistical analysis
  • complex systems
  • decision making
  • knowledge base
  • multiscale
  • learning environment
  • learning systems
  • heuristic search