Ashutosh Trivedi
|
Dr
Ashutosh
Trivedi
Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
- Algorithmic Game Theory
- Formal Modelling and Verification of Systems (Probabilistic and Timed Systems)
- Computational Complexity
Links
Selected Publications
| 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. |
| Average-Time Games Marcin Jurdzinski and Ashutosh Trivedi In Foundations of Software Technology and Theoretical Computer Science. 2008. To appear. |
| Concavely-Priced Timed Automata Marcin Jurdzinski and Ashutosh Trivedi In Cassez, F., Jard and C., editors, Formal Modelling and Analysis of Timed Systems. Vol. 5215 of LNCS. Pages 48—62. Springer. 2008. |
Info
|
Themes |
|
|
Activities |
PRISM | Complexity in Optimization | Probabilistic Model Checking | Quantitative Analysis and Verification |
|
Projects |