When to stop verification?: Statistical trade-off between expected loss and simulation cost.
Sumit Kumar JhaChristopher James LangmeadSwarup MohalikS. RameshPublished in: DATE (2011)
Keyphrases
- trade off
- expected loss
- active learning
- error rate
- simulation model
- information theoretic
- conflicting objectives
- colored petri nets
- decision making
- data driven
- data sets
- mathematical model
- statistical information
- numerical simulations
- statistical significance
- decision rules
- real world
- high cost
- training data
- decision trees
- training set
- multi agent systems
- multi agent