Ashutosh Trivedi : Publications
Conference papers
|
[1] |
Concavely−Priced Probabilistic Timed Automata G. Norman M. Jurdzinski M. Kwiatkowska and A. Trivedi 2009. |
|
[2] |
Average−Time Games Marcin Jurdzinski and Ashutosh Trivedi In Foundations of Software Technology and Theoretical Computer Science. 2008. To appear. |
|
[3] |
Concavely−Priced Timed Automata Marcin Jurdzinski and Ashutosh Trivedi In F. Cassez and C. Jard, editors, Formal Modelling and Analysis of Timed Systems. Vol. 5215 of LNCS. Pages 48–62. Springer. 2008. |
|
[4] |
Reachability−Time Games on Timed Automata Marcin Jurdzinski and Ashutosh Trivedi In Automata‚ Languages and Programming. Vol. 4596 of LNCS. Pages 838–849. Springer. 2007. |
Technical reports
|
[1] |
Expected Reachability−Time Games Vojtech Forejt‚ Marta Kwiatkowska‚ Gethin Norman and Ashutosh Trivedi No. RR−10−07. OUCL. June, 2010. |
|
[2] |
CONCAVELY−PRICED PROBABILISTIC TIMED AUTOMATA Marcin Jurdzinski‚ Marta Z. Kwiatkowska‚ Gethin Norman and Ashutosh Trivedi No. RR−09−06. OUCL. 2009. |