Optimal scheduling using priced timed automata.

Gerd Behrmann Kim Guldstrand Larsen Jacob Illum Rasmussen

Published in: SIGMETRICS Perform. Evaluation Rev. (2005)

Keyphrases

optimal scheduling
timed automata
model checking
scheduling problem
theorem prover
reachability analysis
theorem proving
scheduling algorithm
first order logic
temporal logic
real time systems
machine learning
distributed systems