Ashutosh Trivedi. Associate Professor of Computer Science. Email: ashutosh.trivedi @ colorado.edu. Web: Home , Twitter, Google Scholar, DBLP, ResearchID, ...
Ashutosh Trivedi
Affiliation: University of Colorado, Boulder
Research interests: Formal methods, Reinforcement Learning, and Automata Theory and Logic
His research focuses on developing and applying rigorous mathematical reasoning techniques to design and analyze learning-enabled cyber-physical systems. He ...
Ashutosh Trivedi. Associate Professor, University of Colorado at Boulder. Verified email at colorado.edu - Homepage · Formal methods ...
We're unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI. Explore More ...
Address : Department of Computer Science and Engineering, IIT Bombay, Powai, Mumbai 400 076, Maharashtra, INDIA. Phone: +91-22 ...