DMCA

Taming Numbers and Durations in the Model Checking Integrated Planning System (2002)

by Stefan Edelkamp
Venue:Journal of Artificial Intelligence Research
Citations:54 - 12 self