Sciweavers

8949 search results - page 191 / 1790
» is 1998
Sort
View
AIPS
1998
15 years 5 months ago
Strong Planning in Non-Deterministic Domains Via Model Checking
Alessandro Cimatti, Marco Roveri, Paolo Traverso