Resource-Optimal Scheduling Using Priced Timed Automata.

Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani

Browse the full TACAS paper archive.