Ashutosh Trivedi
Assistant Professor
Department of Computer Science and Engineering
Indian Institute of Technology Bombay

Office :   SIA 108, 1st floor, 'A' Block, KReSIT building
Address :   Department of Computer Science and Engineering,
                    IIT Bombay, Powai, Mumbai 400 076, Maharashtra, INDIA.
Phone:   +91-22-2576-7915
Twitter: astrivedi
Skype : astrivedi
URL : http://ashutoshtrivedi.com
Email: trivedi @ cse iitb ac in

News


Research Interests

  • Formal Methods in Design, Analysis, and Verification of Systems
  • Hybrid and Timed Automata
  • Cyber-Physical Systems
  • Automata, Logic, and Games

Teaching


Professional Service


List of Publications [As seen by DBLP and Google Scholar]

2015

2014

2013

2012

  • Taolue Chen, Vojtech Forejt, Marta Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi, and Michael Ummels. Playing Stochastic Games Precisely.
    Proceedings of 23rd International Conference on Concurrency Theory, CONCUR 2012.

  • Rajeev Alur, Emmanuel Filiot, and Ashutosh Trivedi. Regular Transformations of Infinite Strings.
    Proceedings of the 27th Annual IEEE/ACM Symposium on Logic in Computer Science, LICS 2012.

  • Rajeev Alur, Ashutosh Trivedi, and Dominik Wojtczak. Optimal Scheduling for Constant-Rate Multi-Mode System.
    Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, HSCC 2012.
    Best paper award, HSCC, CPS Week 2012.

2011

2010

2009

2008

  • Marcin Jurdzinski and Ashutosh Trivedi. Average-Time Games [Full version].
    Proceedings of IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2008).

  • Marcin Jurdzinski and Ashutosh Trivedi. Concavely-Priced Timed Automata
    Proceedings of 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008.

2007

2003


Past Visitors


Experience


Miscellaneous


Last updated in May 2015.