Ashutosh Trivedi

Cytowane przez

	Wszystkie	Od 2020
Cytowania	1567	1090
h-indeks	20	15
i10-indeks	43	28

380

190

285

2008200920102011201220132014201520162017201820192020202120222023202420255 13 20 17 9 38 29 56 60 68 76 71 96 139 165 264 374 52

Dostęp publiczny

Wyświetl wszystko

56 artykułów

1 artykuł

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Fabio SomenziProfessor, University of Colorado BoulderZweryfikowany adres z colorado.edu
Dominik WojtczakDepartment of Computer Science, University of LiverpoolZweryfikowany adres z liverpool.ac.uk
Mateo PerezUniversity of Colorado BoulderZweryfikowany adres z colorado.edu
Shankara Narayanan KrishnaIIT BombayZweryfikowany adres z cse.iitb.ac.in
Sven ScheweProfessor of Computer Science, University of LiverpoolZweryfikowany adres z liverpool.ac.uk
Majid ZamaniAssociate Professor, University of Colorado BoulderZweryfikowany adres z colorado.edu
Saeid Tizpaz-NiariAssistant Professor, University of Illinois ChicagoZweryfikowany adres z uic.edu
Ernst Moritz HahnUniversity of TwenteZweryfikowany adres z utwente.nl
Vishnu MuraliUniversity of Colorado BoulderZweryfikowany adres z colorado.edu
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaZweryfikowany adres z seas.upenn.edu
Lakshmi ManasaPhD Student, IIT BombayZweryfikowany adres z cse.iitb.ac.in
Alvaro VelasquezProgram Manager, DARPAZweryfikowany adres z darpa.mil
Pavol CernyProfessor, TU WienZweryfikowany adres z tuwien.ac.at
Taylor DohmenUniversity of Colorado BoulderZweryfikowany adres z colorado.edu
Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderZweryfikowany adres z colorado.edu
Marcin JurdzińskiUniversity of Warwick, Department of Computer ScienceZweryfikowany adres z warwick.ac.uk
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordZweryfikowany adres z comlab.ox.ac.uk
Mahathi AnandMunich Institute of Robotics and Machine IntelligenceZweryfikowany adres z tum.de
Vojtěch ForejtDifflblueZweryfikowany adres z diffblue.com
Verya MonjeziResearch Assistant, University of Illinois ChicagoZweryfikowany adres z uic.edu

Obserwuj

Ashutosh Trivedi

Associate Professor, University of Colorado at Boulder

Zweryfikowany adres z colorado.edu - Strona główna

Formal methods Reinforcement Learning Automata Theory and Logic


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
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	180	2019
Reachability-time games on timed automata M Jurdziński, A Trivedi Automata, Languages and Programming, 838-849, 2007	65	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	60	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	57	2020
Recursive timed automata A Trivedi, D Wojtczak International Symposium on Automated Technology for Verification and …, 2010	57	2010
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	55	2022
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	53	2023
Secure-by-construction synthesis of cyber-physical systems S Liu, A Trivedi, X Yin, M Zamani Annual Reviews in Control 53, 30-50, 2022	51	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	42	2020
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	38	2015
First-order definable string transformations E Filiot, SN Krishna, A Trivedi arXiv preprint arXiv:1406.7824, 2014	36	2014
Concavely-priced probabilistic timed automata M Jurdziński, M Kwiatkowska, G Norman, A Trivedi CONCUR 2009-Concurrency Theory: 20th International Conference, CONCUR 2009 …, 2009	32	2009
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	29	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	29	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	29	2012
Inferring probabilistic reward machines from non-Markovian reward signals for reinforcement learning T Dohmen, N Topper, G Atia, A Beckus, A Trivedi, A Velasquez Proceedings of the International Conference on Automated Planning and …, 2022	25	2022
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	25	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 International Conference on Concurrency Theory, 348-363, 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

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy