Automated Testing of Planning Models.

Klaus Havelund Alex Groce Gerard J. Holzmann Rajeev Joshi Margaret H. Smith

Published in: MoChArt (2008)

Keyphrases

statistical models
artificial intelligence
information systems
domain specific
parameter estimation
complex systems
search engine
expert systems
artificial neural networks
dynamic programming
probabilistic model
test set
test data
planning problems
semi automated
goal oriented