|
Search the dblp DataBase
Ashutosh Trivedi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Marcin Jurdzinski, Ashutosh Trivedi
Reachability-Time Games on Timed Automata. [Citation Graph (0, 0)][DBLP] ICALP, 2007, pp:838-849 [Conf]
Recursive Timed Automata. [Citation Graph (, )][DBLP]
Concavely-Priced Probabilistic Timed Automata. [Citation Graph (, )][DBLP]
Concavely-Priced Timed Automata. [Citation Graph (, )][DBLP]
Average-Time Games. [Citation Graph (, )][DBLP]
Reachability-time games on timed automata [Citation Graph (, )][DBLP]
Average-Time Games on Timed Automata [Citation Graph (, )][DBLP]
Quantitative Games on Probabilistic Timed Automata [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|