Biblio

Filters: Author is Trivedi, Ashutosh  [Clear All Filters]
2018-05-23
Alur, Rajeev, Trivedi, Ashutosh, Wojtczak, Dominik.  2012.  Optimal Scheduling for Constant-rate Multi-mode Systems. Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control (HSCC '12). :75–84.
Alur, Rajeev, Trivedi, Ashutosh.  2011.  Relating Average and Discounted Costs for Quantitative Analysis of Timed Systems. Proceedings of the Ninth ACM International Conference on Embedded Software. :165–174.