Ashutosh Trivedi

Ashutosh Trivedi

University of Colorado Boulder - Boulder / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1775072
person_outline Ashutosh Trivedi's MOST POPULAR ARTICLES
1-) Omega-regular objectives in model-free reinforcement learningEM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D WojtczakInternational Conference on Tools and Algorithms for the Construction and …, 2019972019
2-) Reachability-time games on timed automataM Jurdziński, A TrivediAutomata, Languages and Programming, 838-849, 2007612007
3-) Regular transformations of infinite stringsR Alur, E Filiot, A Trivedi2012 27th Annual IEEE Symposium on Logic in Computer Science, 65-74, 2012582012
4-) Formal controller synthesis for continuous-space MDPs via model-free reinforcement learningA Lavaei, F Somenzi, S Soudjani, A Trivedi, M Zamani2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS …, 2020582020
5-) Recursive timed automataA Trivedi, D WojtczakInternational Symposium on Automated Technology for Verification and …, 2010572010