|
|
Ashutosh Trivedi
| Dr Ashutosh Trivedi
Research Assistant
trivedi@comlab.ox.ac.uk +44 1865 610 715 +44 770 486 1530
Wolfson Building, Parks Road, Oxford OX1 3QD
|
interests
- Algorithmic Game Theory
- Formal Modelling and Verification of Systems (Probabilistic and Timed Systems)
- Computational Complexity
links
Personal Webpage
selected publications
(View all)
|
Reachability-Time Games on Timed Automata
Marcin Jurdzinski, Ashutosh Trivedi
In Automata, Languages and Programming Vol. 4596 of LNCS, pages 838—849. Springer, 2007.
Details
|
BibTeX
| Link |
|
Average-Time Games
Marcin Jurdzinski, Ashutosh Trivedi
In Foundations of Software Technology and Theoretical Computer Science 2008.
To appear.
Details
|
BibTeX
|
|
Concavely-Priced Timed Automata
Marcin Jurdzinski, Ashutosh Trivedi
In Cassez, F., Jard, C., editors, Formal Modelling and Analysis of Timed Systems Vol. 5215 of LNCS, pages 48—62. Springer, 2008.
Details
|
BibTeX
| Link |
info
|
|
|
|