Analysis of Timed Systems Using Time-Abstracting Bisimulations.

Stavros Tripakis Sergio Yovine

Published in: Formal Methods Syst. Des. (2001)

Keyphrases

statistical analysis
data sets
database systems
expert systems
genetic algorithm
bayesian networks
objective function