Near-Optimal Scheduling for LTL with Future Discounting.

Shota Nakagawa Ichiro Hasuo

Published in: TGC (2015)

Keyphrases

scheduling problem
long term
model checking
artificial intelligence
round robin
flexible manufacturing systems
linear temporal logic
parallel processors
dynamic scheduling
genetic algorithm
scheduling algorithm
resource constraints