Ashutosh Trivedi

Citeras av

	Alla	Sedan 2016
Citat	593	400
h-index	13	11
i10-index	21	16

120

200820092010201120122013201420152016201720182019202020216 11 15 17 9 39 28 59 64 73 73 72 114 2

Medförfattare

Shankara Narayanan KrishnaIIT BombayVerifierad e-postadress på cse.iitb.ac.in
Dominik WojtczakDepartment of Computer Science, University of LiverpoolVerifierad e-postadress på liverpool.ac.uk
Sven ScheweProfessor of Computer Science, University of LiverpoolVerifierad e-postadress på liverpool.ac.uk
Lakshmi ManasaPhD Student, IIT BombayVerifierad e-postadress på cse.iitb.ac.in
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerifierad e-postadress på cis.upenn.edu
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerifierad e-postadress på comlab.ox.ac.uk
Marcin JurdzińskiUniversity of Warwick, Department of Computer ScienceVerifierad e-postadress på warwick.ac.uk
Ernst Moritz HahnUniversity of TwenteVerifierad e-postadress på utwente.nl
Vojtěch ForejtDifflblueVerifierad e-postadress på diffblue.com
Pavol CernyProfessor, TU WienVerifierad e-postadress på tuwien.ac.at
Devendra BhaveIIT BombayVerifierad e-postadress på cse.iitb.ac.in
Saeid Tizpaz-NiariAssistant Professor, University of Texas at El PasoVerifierad e-postadress på utep.edu
Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceVerifierad e-postadress på glasgow.ac.uk
Emmanuel FiliotFNRS - Université Libre de BruxellesVerifierad e-postadress på ulb.ac.be
Vrunda DaveResearch Scholar, Indian Institute of Technology BombayVerifierad e-postadress på cse.iitb.ac.in
Sriram SankaranarayananAssociate Professor of Computer Science, University of Colorado, BoulderVerifierad e-postadress på colorado.edu
Ramchandra PhawadeAssistant Professor, Dept of Computer Science and Engineering, IIT DharwadVerifierad e-postadress på iitdh.ac.in
Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado BoulderVerifierad e-postadress på cs.colorado.edu
S AkshayIIT BombayVerifierad e-postadress på cse.iitb.ac.in
Thomas BrihayeUMONSVerifierad e-postadress på umons.ac.be

Ashutosh Trivedi

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

Verifierad e-postadress på colorado.edu - Startsida

Formal methods Reinforcement Learning Automata Theory and Logic


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
Recursive timed automata A Trivedi, D Wojtczak International Symposium on Automated Technology for Verification and …, 2010	59	2010
Reachability-time games on timed automata M Jurdziński, A Trivedi Automata, Languages and Programming, 838-849, 2007	48	2007
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	43	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	41	2012
First-order definable string transformations E Filiot, SN Krishna, A Trivedi arXiv preprint arXiv:1406.7824, 2014	29	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	20	2015
Concavely-priced timed automata M Jurdziński, A Trivedi International Conference on Formal Modeling and Analysis of Timed Systems, 48-62, 2008	19	2008
Playing stochastic games precisely T Chen, V Forejt, M Kwiatkowska, A Simaitis, A Trivedi, M Ummels International Conference on Concurrency Theory, 348-363, 2012	18	2012
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	15	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
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
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	12	2016
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

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Ladda upp PDF

Följ den här författaren

Citeras av

Medförfattare