Sciweavers

19 search results - page 1 / 4
» aips 1998
Sort
View
AIPS
1998
13 years 5 months ago
Strong Planning in Non-Deterministic Domains Via Model Checking
Alessandro Cimatti, Marco Roveri, Paolo Traverso
AIPS
1998
13 years 5 months ago
AsbruView: Visualization of Time-Oriented, Skeletal Plans
Silvia Miksch, Robert Kosara, Yuval Shahar, Peter ...