Timed Automata as an Underlying Model for Planning and Scheduling

Oded Maler. Timed Automata as an Underlying Model for Planning and Scheduling. In Maria Fox, Alexandra M. Coddington, editors, AIPS 2002 Workshop on Planning for Temporal Domains, Toulous, France, April 24, 2002. pages 67-70, 2002.

Abstract

Abstract is missing.