Ashutosh Trivedi

	2009
6		Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi: Concavely-Priced Probabilistic Timed Automata. CONCUR 2009: 415-430
5		Marcin Jurdzinski, Ashutosh Trivedi: Reachability-time games on timed automata CoRR abs/0907.3414: (2009)
4		Marcin Jurdzinski, Ashutosh Trivedi: Average-Time Games on Timed Automata CoRR abs/0910.2891: (2009)
	2008
3		Marcin Jurdzinski, Ashutosh Trivedi: Concavely-Priced Timed Automata. FORMATS 2008: 48-62
2		Marcin Jurdzinski, Ashutosh Trivedi: Average-Time Games. FSTTCS 2008
	2007
1		Marcin Jurdzinski, Ashutosh Trivedi: Reachability-Time Games on Timed Automata. ICALP 2007: 838-849

Coauthor Index

1	Marcin Jurdzinski	[1] [2] [3] [4] [5] [6]
2	Marta Z. Kwiatkowska	[6]
3	Gethin Norman	[6]