Searching for "Automated Testing of Planning Models." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Automated Testing of Planning Models
by Klaus Havelund, Alex Groce, Gerard Holzmann, Rajeev Joshi, Margaret Smith
…Automated Testing of Planning Models Klaus Havelund, Alex Groce, Gerard Holzmann, Rajeev Joshi…
Add To MetaCart

Experience
by Alex David Groce
… Joshi, and Margaret Smith. Automated Testing of Planning Models. Workshop on Model Checking…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB