Ashutosh Trivedi

Cited by

	All	Since 2018
Citations	1081	740
h-index	16	14
i10-index	33	21

180

135

20082009201020112012201320142015201620172018201920202021202220234 13 20 20 9 38 28 60 64 68 80 68 102 146 177 167

Public access

View all

40 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
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
Saeid Tizpaz-NiariAssistant Professor, University of Texas at El PasoVerified email at utep.edu
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at seas.upenn.edu
Majid ZamaniAssociate Professor, University of Colorado BoulderVerified email at colorado.edu
Lakshmi ManasaPhD Student, IIT BombayVerified email at cse.iitb.ac.in
Pavol CernyProfessor, TU WienVerified email at tuwien.ac.at
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
Taylor DohmenUniversity of Colorado BoulderVerified email at colorado.edu
Vojtěch ForejtDifflblueVerified email at diffblue.com
Vishnu MuraliUniversity of Colorado BoulderVerified email at colorado.edu
Alvaro VelasquezProgram Manager, DARPAVerified email at darpa.mil
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
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 International conference on tools and algorithms for the construction and …, 2019	130	2019
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
Recursive timed automata A Trivedi, D Wojtczak International Symposium on Automated Technology for Verification and …, 2010	58	2010
Reachability-time games on timed automata M Jurdziński, A Trivedi Automata, Languages and Programming, 838-849, 2007	57	2007
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	45	2020
First-order definable string transformations E Filiot, SN Krishna, A Trivedi arXiv preprint arXiv:1406.7824, 2014	34	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	33	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
Good-for-MDPs automata for probabilistic analysis and reinforcement learning EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak International Conference on Tools and Algorithms for the Construction and …, 2020	30	2020
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
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	23	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, ... International Conference on Concurrency Theory, 560-575, 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
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	21	2020
Concavely-priced timed automata M Jurdziński, A Trivedi Formal Modeling and Analysis of Timed Systems: 6th International Conference …, 2008	21	2008
Secure-by-construction synthesis of cyber-physical systems S Liu, A Trivedi, X Yin, M Zamani Annual Reviews in Control 53, 30-50, 2022	16	2022
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	16	2017
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

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