My Projects

Reinforcement Learning

Robust locomotion with RL for wheeled-legged robots.

Reinforcement Learning

Model-based RL for autonomous racing trained on latent imagination learned from high-dimensional LiDAR data.

Reinforcement Learning

A gym environment for a miniature, F1Tenth-like racecar using the bullet physics engine with pybullet.

Reinforcement Learning

Specification-based library for automatic reward shaping.

Reinforcement Learning

Training an altruistic agent under partially-observable, evolving and under-represented goals.

Reinforcement Learning

Learning adaptive safety for multi-agent systems with RL and control barrier functions.

Robotics

Self-localization, mapping and motion planning for a differential drive robot using ROS.

Robotics

Deployment of reinforcement learning agents on the F1Tenth platform using ROS.

Formal Methods

Learner-Verifier framework for formal synthesis of Control Barrier Function.