I received my bachelor's degree of Computer Science from Beijing University of Posts and Telecommunications. And later Master of Computer Science in Intelligent Robotics from University of Southern California.
Research Area: Formal Method and Reinforcement Learning, Learning-based Synthesis, Optimal Control
Abhishek N. Kulkarni
Research Interests: Reactive and Stochastic Games (Formal Methods with Robotics Applications), Motion Planning and Control.
Research Area: Efficiency in Reinforcement Learning, Robotics Simulation
Research Interest: Reinforcement Learning, Formal Method, Game Theory.