Sciweavers

13827 search results - page 188 / 2766
» The state of artificial intelligence
Sort
View
AIPS
1998
15 years 7 months ago
Strong Planning in Non-Deterministic Domains Via Model Checking
Alessandro Cimatti, Marco Roveri, Paolo Traverso