Relating Average and Discounted Costs for Quantitative Analysis of Timed Systems
| Title | Relating Average and Discounted Costs for Quantitative Analysis of Timed Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2011 |
| Authors | Alur, Rajeev, Trivedi, Ashutosh |
| Conference Name | Proceedings of the Ninth ACM International Conference on Embedded Software |
| Keywords | 1035715 |
| DOI | 10.1145/2038642.2038668 |
| Citation Key | Alur:2011 |