Ashutosh Trivedi

Dr Ashutosh Trivedi

Research Assistant

Former Member

Themes:

• Automated Verification

See Also:

• Personal Webpage

Interests

• Algorithmic Game Theory
• Formal Modelling and Verification of Systems (Probabilistic and Timed Systems)
• Computational Complexity

Selected Publications

View AllManage 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.

  Details about Reachability−Time Games on Timed Automata | BibTeX data for Reachability−Time Games on Timed Automata | Link to Reachability−Time Games on Timed Automata

• Average−Time Games

  Marcin Jurdzinski and Ashutosh Trivedi

  In Foundations of Software Technology and Theoretical Computer Science. 2008.

  To appear.

  Details about Average−Time Games | BibTeX data for Average−Time Games

• Concavely−Priced Timed Automata

  Marcin Jurdzinski and Ashutosh Trivedi

  In F. Cassez and C. Jard, editors, Formal Modelling and Analysis of Timed Systems. Vol. 5215 of LNCS. Pages 48–62. Springer. 2008.

  Details about Concavely−Priced Timed Automata | BibTeX data for Concavely−Priced Timed Automata | Link to Concavely−Priced Timed Automata

Activities

• PRISM
• Complexity in Optimization
• Probabilistic Model Checking
• Quantitative Analysis and Verification