Strong Planning in Non-Deterministic Domains via Model Checking (1998)

Cached

Download Links

by A. Cimatti , Marco Roveri , Paolo Traverso
Citations:48 - 14 self