www.comlab.ox.ac.uk/people/Ashutosh.Trivedi/index.html

Ashutosh Trivedi

Personal photo - 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

Links

Personal Webpage

Selected Publications

View all

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

Projects