Ashutosh Trivedi : Publications
Conference papers
-
[1]
Concavely−Priced Probabilistic Timed Automata
G. Norman M. Jurdzinski M. Kwiatkowska and A. Trivedi
2009.
Details about Concavely−Priced Probabilistic Timed Automata | BibTeX data for Concavely−Priced Probabilistic Timed Automata
-
[2]
Average−Time Games
Marcin Jurdzinski and Ashutosh Trivedi
In Foundations of Software Technology and Theoretical Computer Science. 2008.
To appear.
Details about Average−Time Games | BibTeX data for Average−Time Games
-
[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.
Details about Concavely−Priced Timed Automata | BibTeX data for Concavely−Priced Timed Automata | Link to Concavely−Priced Timed Automata
-
[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.
Details about Reachability−Time Games on Timed Automata | BibTeX data for Reachability−Time Games on Timed Automata | Link to Reachability−Time Games on Timed Automata
Technical reports
-
[1]
PLAYING STOCHASTIC GAMES PRECISELY
Taolue Chen‚ Vojtech Forejt‚ Marta Kwiatkowska‚ Aistis Simaitis‚ Ashutosh Trivedi and Michael Ummels
No. RR−12−03. 2012.
Details about PLAYING STOCHASTIC GAMES PRECISELY | BibTeX data for PLAYING STOCHASTIC GAMES PRECISELY | Download (pdf) of PLAYING STOCHASTIC GAMES PRECISELY
-
[2]
Expected Reachability−Time Games
Vojtech Forejt‚ Marta Kwiatkowska‚ Gethin Norman and Ashutosh Trivedi
No. RR−10−07. OUCL. June, 2010.
Details about Expected Reachability−Time Games | BibTeX data for Expected Reachability−Time Games | Download (pdf) of Expected Reachability−Time Games
-
[3]
CONCAVELY−PRICED PROBABILISTIC TIMED AUTOMATA
Marcin Jurdzinski‚ Marta Z. Kwiatkowska‚ Gethin Norman and Ashutosh Trivedi
No. RR−09−06. OUCL. 2009.
Details about CONCAVELY−PRICED PROBABILISTIC TIMED AUTOMATA | BibTeX data for CONCAVELY−PRICED PROBABILISTIC TIMED AUTOMATA | Download (pdf) of CONCAVELY−PRICED PROBABILISTIC TIMED AUTOMATA