"Enabling Fast Flexible Planning through Incremental Temporal Reasoning ..."

I-Hsiang Shu, Robert T. Effinger, Brian Charles Williams (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics