Relating average and discounted costs for quantitative analysis of timed systems.

Rajeev Alur, Ashutosh Trivedi

Browse the full EMSOFT paper archive.