Ashutosh Trivedi

Cited by

	All	Since 2016
Citations	623	432
h-index	13	11
i10-index	21	16

120

200820092010201120122013201420152016201720182019202020216 11 15 17 9 39 28 57 64 70 73 72 108 43

Public access

View all

20 articles

1 article

available

not available

Based on funding mandates

Co-authors

Shankara Narayanan KrishnaIIT BombayVerified email at cse.iitb.ac.in
Dominik WojtczakDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Sven ScheweProfessor of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Lakshmi ManasaPhD Student, IIT BombayVerified email at cse.iitb.ac.in
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Marcin JurdzińskiUniversity of Warwick, Department of Computer ScienceVerified email at warwick.ac.uk
Ernst Moritz HahnUniversity of TwenteVerified email at utwente.nl
Vojtěch ForejtDifflblueVerified email at diffblue.com
Pavol CernyProfessor, TU WienVerified email at tuwien.ac.at
Devendra BhaveIIT BombayVerified email at cse.iitb.ac.in
Saeid Tizpaz-NiariAssistant Professor, University of Texas at El PasoVerified email at utep.edu
Emmanuel FiliotFNRS - Université Libre de BruxellesVerified email at ulb.ac.be
Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceVerified email at glasgow.ac.uk
Vrunda DaveResearch Scholar, Indian Institute of Technology BombayVerified email at cse.iitb.ac.in
Sriram SankaranarayananAssociate Professor of Computer Science, University of Colorado, BoulderVerified email at colorado.edu
Ramchandra PhawadeAssistant Professor, Dept of Computer Science and Engineering, IIT DharwadVerified email at iitdh.ac.in
Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado BoulderVerified email at cs.colorado.edu
S AkshayIIT BombayVerified email at cse.iitb.ac.in
Thomas BrihayeUMONSVerified email at umons.ac.be

Ashutosh Trivedi

Assistant Professor of Computer Science at the University of Colorado at Boulder

Verified email at colorado.edu - Homepage

Formal methods Reinforcement Learning Automata Theory and Logic


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Recursive timed automata A Trivedi, D Wojtczak International Symposium on Automated Technology for Verification and …, 2010	59	2010
Omega-regular objectives in model-free reinforcement learning EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak International Conference on Tools and Algorithms for the Construction and …, 2019	52	2019
Reachability-time games on timed automata M Jurdziński, A Trivedi Automata, Languages and Programming, 838-849, 2007	49	2007
Regular transformations of infinite strings R Alur, E Filiot, A Trivedi 2012 27th Annual IEEE Symposium on Logic in Computer Science, 65-74, 2012	43	2012
First-order definable string transformations E Filiot, SN Krishna, A Trivedi arXiv preprint arXiv:1406.7824, 2014	32	2014
Concavely-priced probabilistic timed automata M Jurdziński, M Kwiatkowska, G Norman, A Trivedi International Conference on Concurrency Theory, 415-430, 2009	28	2009
Optimal scheduling for constant-rate multi-mode systems R Alur, A Trivedi, D Wojtczak Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012	23	2012
Skolem functions for factored formulas AK John, S Shah, S Chakraborty, A Trivedi, S Akshay 2015 Formal Methods in Computer-Aided Design (FMCAD), 73-80, 2015	21	2015
Playing stochastic games precisely T Chen, V Forejt, M Kwiatkowska, A Simaitis, A Trivedi, M Ummels International Conference on Concurrency Theory, 348-363, 2012	19	2012
Concavely-priced timed automata M Jurdziński, A Trivedi International Conference on Formal Modeling and Analysis of Timed Systems, 48-62, 2008	19	2008
Adding negative prices to priced timed games T Brihaye, G Geeraerts, SN Krishna, L Manasa, B Monmege, A Trivedi International Conference on Concurrency Theory, 560-575, 2014	17	2014
Hybrid automata for formal modeling and verification of cyber-physical systems SN Krishna, A Trivedi arXiv preprint arXiv:1503.04928, 2015	16	2015
Safe schedulability of bounded-rate multi-mode systems R Alur, V Forejt, S Moarref, A Trivedi Proceedings of the 16th international conference on Hybrid systems …, 2013	15	2013
A logical characterization for dense-time visibly pushdown automata D Bhave, V Dave, SN Krishna, R Phawade, A Trivedi Language and Automata Theory and Applications, 89-101, 2016	13	2016
Symmetric strategy improvement S Schewe, A Trivedi, T Varghese International Colloquium on Automata, Languages, and Programming, 388-400, 2015	13	2015
From monadic second-order definable string transformations to transducers R Alur, A Durand-Gasselin, A Trivedi 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 458-467, 2013	13	2013
Expected reachability-time games V Forejt, M Kwiatkowska, G Norman, A Trivedi Formal Modeling and Analysis of Timed Systems, 122-136, 2010	13	2010
Competative optimisation on timed automata A Trivedi University of Warwick, 2009	13	2009
Compositional strategy synthesis for stochastic games with multiple objectives N Basset, M Kwiatkowska, C Wiltsche Information and Computation 261, 536-587, 2018	11	2018
Analyzing neighborhoods of falsifying traces in cyber-physical systems RD Diwakaran, S Sankaranarayanan, A Trivedi Proceedings of the 8th International Conference on Cyber-Physical Systems …, 2017	11	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors