Ashutosh Trivedi

Cited by

	All	Since 2018
Citations	1002	668
h-index	16	13
i10-index	32	19

180

135

20082009201020112012201320142015201620172018201920202021202220236 13 20 18 9 37 27 59 62 72 81 68 105 147 177 90

Public access

View all

38 articles

1 article

available

not available

Based on funding mandates

Co-authors

Fabio SomenziProfessor, University of Colorado BoulderVerified email at colorado.edu
Dominik WojtczakDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Shankara Narayanan KrishnaIIT BombayVerified email at cse.iitb.ac.in
Sven ScheweProfessor of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Mateo PerezUniversity of Colorado BoulderVerified email at colorado.edu
Ernst Moritz HahnUniversity of TwenteVerified email at utwente.nl
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at seas.upenn.edu
Saeid Tizpaz-NiariAssistant Professor, University of Texas at El PasoVerified email at utep.edu
Lakshmi ManasaPhD Student, IIT BombayVerified email at cse.iitb.ac.in
Pavol CernyProfessor, TU WienVerified email at tuwien.ac.at
Majid ZamaniAssociate Professor, University of Colorado BoulderVerified email at colorado.edu
Marcin JurdzińskiUniversity of Warwick, Department of Computer ScienceVerified email at warwick.ac.uk
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Vojtěch ForejtDifflblueVerified email at diffblue.com
Taylor DohmenUniversity of Colorado BoulderVerified email at colorado.edu
Sriram SankaranarayananProfessor of Computer Science, University of Colorado, BoulderVerified email at colorado.edu
Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado BoulderVerified email at cs.colorado.edu
Emmanuel FiliotFNRS - Université Libre de BruxellesVerified email at ulb.ac.be
Alvaro VelasquezProgram Manager, DARPAVerified email at darpa.mil
Vrunda DaveResearch Scholar, Indian Institute of Technology BombayVerified email at cse.iitb.ac.in

Ashutosh Trivedi

Associate Professor, 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
Omega-regular objectives in model-free reinforcement learning EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019	118	2019
Recursive timed automata A Trivedi, D Wojtczak Automated Technology for Verification and Analysis: 8th International …, 2010	59	2010
Reachability-time games on timed automata M Jurdziński, A Trivedi Automata, Languages and Programming, 838-849, 2007	59	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	58	2012
Formal controller synthesis for continuous-space MDPs via model-free reinforcement learning A Lavaei, F Somenzi, S Soudjani, A Trivedi, M Zamani 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS …, 2020	39	2020
First-order definable string transformations E Filiot, SN Krishna, A Trivedi arXiv preprint arXiv:1406.7824, 2014	35	2014
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	32	2015
Concavely-priced probabilistic timed automata M Jurdziński, M Kwiatkowska, G Norman, A Trivedi CONCUR 2009-Concurrency Theory: 20th International Conference, CONCUR 2009 …, 2009	31	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	26	2012
Good-for-MDPs automata for probabilistic analysis and reinforcement learning EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020	24	2020
Hybrid automata for formal modeling and verification of cyber-physical systems SN Krishna, A Trivedi arXiv preprint arXiv:1503.04928, 2015	23	2015
Adding negative prices to priced timed games T Brihaye, G Geeraerts, S Narayanan Krishna, L Manasa, B Monmege, ... CONCUR 2014–Concurrency Theory: 25th International Conference, CONCUR 2014 …, 2014	23	2014
Playing stochastic games precisely T Chen, V Forejt, M Kwiatkowska, A Simaitis, A Trivedi, M Ummels CONCUR 2012–Concurrency Theory: 23rd International Conference, CONCUR 2012 …, 2012	23	2012
Detecting and understanding real-world differential performance bugs in machine learning libraries S Tizpaz-Niari, P Černý, A Trivedi Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020	22	2020
Concavely-priced timed automata M Jurdziński, A Trivedi Formal Modeling and Analysis of Timed Systems: 6th International Conference …, 2008	21	2008
Faithful and effective reward schemes for model-free reinforcement learning of omega-regular objectives EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak Automated Technology for Verification and Analysis: 18th International …, 2020	16	2020
Symmetric strategy improvement S Schewe, A Trivedi, T Varghese Automata, Languages, and Programming: 42nd International Colloquium, ICALP …, 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	16	2013
Differential performance debugging with discriminant regression trees S Tizpaz-Niari, P Cerny, BYE Chang, A Trivedi Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018	15	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	15	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

Follow

Cited by

Co-authors