Planning for verification, validation, and accreditation of modeling and simulation applications.
Osman BalciWilliam F. OrmsbyJohn T. Carr IIISaid D. SaadiPublished in: WSC (2000)
Keyphrases
- colored petri nets
- discrete event simulation
- decision support
- modeling language
- heuristic search
- simulation model
- model validation
- domain independent
- search algorithm
- plan generation
- stochastic domains
- verification method
- qualitative simulation
- formal verification
- modeling method
- motion planning
- planning problems
- numerical simulations