Safe and Infinite Resource Scheduling Using Energy Timed Automata.

Pieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen

Browse the full TASE paper archive.