Timed Automata as an Underlying Model for Planning and Scheduling.

Published in: AIPS Workshop on Planning for Temporal Domains (2002)

Keyphrases

mathematical model
probabilistic model
high level
computational model
scheduling problem
theoretical analysis
formal model
genetic algorithm
cost function
management system
maximum likelihood
parameter estimation