Improved BDD-Based Discrete Analysis of Timed Systems.

Truong Khanh Nguyen Jun Sun Yang Liu Jin Song Dong Yan 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