Bridging the Gap between Fair Simulation and Trace Inclusion.
Yonit KestenNir PitermanAmir PnueliPublished in: CAV (2003)
Keyphrases
- data sets
- simulation models
- genetic algorithm
- discrete event simulation
- database
- high fidelity
- simulation model
- numerical simulations
- markov chain
- hidden markov models
- control system
- multiresolution
- multi agent
- multiscale
- website
- image processing
- decision making
- information systems
- search engine
- artificial intelligence
- information retrieval
- real world