Ashutosh Trivedi

Ashutosh Trivedi

Associate Professor, University of Colorado at Boulder
Dirección de correo verificada de colorado.edu
Citado por 1475
Formal methods Reinforcement Learning Automata Theory and Logic
Zhiwu Xu

Zhiwu Xu

College of Computer Science and Software Engineering (CSSE), Shenzhen University
Dirección de correo verificada de szu.edu.cn
Citado por 867
Program Analysis and Verification Type Systems Software Security Automata Theory and Logic and Machine Learning.
Soumya Paul

Soumya Paul

Research Associate, Université du Luxembourg
Dirección de correo verificada de uni.lu
Citado por 549
Game Theory and its application to Linguistics … Automata Theory and Logic Systems Biology