Ashutosh Trivedi

Citado por

	Total	Desde 2019
Citas	1402	995
Índice h	19	14
Índice i10	42	27

280

140

210

200820092010201120122013201420152016201720182019202020212022202320245 13 20 17 9 40 28 57 60 66 78 70 97 142 165 257 263

Acceso público

Ver todo

51 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Fabio SomenziProfessor, University of Colorado BoulderDirección de correo verificada de colorado.edu
Dominik WojtczakDepartment of Computer Science, University of LiverpoolDirección de correo verificada de liverpool.ac.uk
Shankara Narayanan KrishnaIIT BombayDirección de correo verificada de cse.iitb.ac.in
Mateo PerezUniversity of Colorado BoulderDirección de correo verificada de colorado.edu
Sven ScheweProfessor of Computer Science, University of LiverpoolDirección de correo verificada de liverpool.ac.uk
Majid ZamaniAssociate Professor, University of Colorado BoulderDirección de correo verificada de colorado.edu
Ernst Moritz HahnUniversity of TwenteDirección de correo verificada de utwente.nl
Saeid Tizpaz-NiariAssistant Professor, University of Texas at El PasoDirección de correo verificada de utep.edu
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaDirección de correo verificada de seas.upenn.edu
Lakshmi ManasaPhD Student, IIT BombayDirección de correo verificada de cse.iitb.ac.in
Vishnu MuraliUniversity of Colorado BoulderDirección de correo verificada de colorado.edu
Pavol CernyProfessor, TU WienDirección de correo verificada de tuwien.ac.at
Alvaro VelasquezProgram Manager, DARPADirección de correo verificada de darpa.mil
Taylor DohmenUniversity of Colorado BoulderDirección de correo verificada de colorado.edu
Marcin JurdzińskiUniversity of Warwick, Department of Computer ScienceDirección de correo verificada de warwick.ac.uk
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordDirección de correo verificada de comlab.ox.ac.uk
Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderDirección de correo verificada de colorado.edu
Mahathi AnandInstitute for Systems Theory and Automatic Control, University StuttgartDirección de correo verificada de ist.uni-stuttgart.de
Vojtěch ForejtDifflblueDirección de correo verificada de diffblue.com
Sadegh SoudjaniMax Planck Institute for Software SystemsDirección de correo verificada de mpi-sws.org

Seguir

Ashutosh Trivedi

Associate Professor, University of Colorado at Boulder

Dirección de correo verificada de colorado.edu - Página principal

Formal methods Reinforcement Learning Automata Theory and Logic


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	162	2019
Reachability-time games on timed automata M Jurdziński, A Trivedi Automata, Languages and Programming, 838-849, 2007	62	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	61	2012
Recursive timed automata A Trivedi, D Wojtczak International Symposium on Automated Technology for Verification and …, 2010	57	2010
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	55	2020
Fairness-aware configuration of machine learning libraries S Tizpaz-Niari, A Kumar, G Tan, A Trivedi Proceedings of the 44th International Conference on Software Engineering …, 2022	43	2022
Secure-by-construction synthesis of cyber-physical systems S Liu, A Trivedi, X Yin, M Zamani Annual Reviews in Control 53, 30-50, 2022	42	2022
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	37	2020
First-order definable string transformations E Filiot, SN Krishna, A Trivedi arXiv preprint arXiv:1406.7824, 2014	37	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	36	2015
Information-theoretic testing and debugging of fairness defects in deep neural networks V Monjezi, A Trivedi, G Tan, S Tizpaz-Niari 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023	35	2023
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	28	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	27	2020
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	26	2020
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	26	2014
Hybrid automata for formal modeling and verification of cyber-physical systems SN Krishna, A Trivedi arXiv preprint arXiv:1503.04928, 2015	24	2015
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	24	2012
Concavely-priced timed automata M Jurdziński, A Trivedi Formal Modeling and Analysis of Timed Systems: 6th International Conference …, 2008	22	2008
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	18	2017

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores