Strong Planning in Non-Deterministic Domains via Model Checking (1998)
by
A. Cimatti
,
Marco Roveri
,
Paolo Traverso
| Citations: | 47 - 14 self |
BibTeX
@MISC{Cimatti98strongplanning,
author = {A. Cimatti and Marco Roveri and Paolo Traverso},
title = {Strong Planning in Non-Deterministic Domains via Model Checking},
year = {1998}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
