Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Milan Ganai

dblp:342/1568 · DBLP profile ↗
← Back
3ranked-venue papers
2as first author
3since 2021 · last 2024
—ORCID · unresolved

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 2 · 2 first-author · 2 since 2021Systems, architecture and hardware · 1 · 1 first-author · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 since 2021Theory of computation · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Artificial intelligence
2 papers
Motion planning and robot control · 50% Reinforcement learning · 33% Trustworthy machine learning · 17%

Topics — the 5 heaviest of 6, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Machine learning › Reinforcement learning › imitation learning
learning from observation
0.712023
Learning Stabilization Control from Observations by Learning Lyapunov-like Proxy Models · ICRA 2023
Robotics › Motion planning and robot control › robot control
lyapunov stability
0.712023
Learning Stabilization Control from Observations by Learning Lyapunov-like Proxy Models · ICRA 2023
Robotics › Motion planning and robot control
robot control
0.712023
Learning Stabilization Control from Observations by Learning Lyapunov-like Proxy Models · ICRA 2023
Machine learning › Reinforcement learning
safe reinforcement learning
0.712023
Iterative Reachability Estimation for Safe Reinforcement Learning · NeurIPS 2023
Robotics › Motion planning and robot control › robot control
stabilization control
0.712023
Learning Stabilization Control from Observations by Learning Lyapunov-like Proxy Models · ICRA 2023

Methods — techniques the papers use, named apart from their topics

reinforcement learning · 0.7reachability estimation function · 0.7proxy model learning · 0.7lyapunov stability theory · 0.7constrained optimization · 0.7
YearPublicationVenuePosition
2024 Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
Udayan Mandal, Guy Amir, Haoze Wu 0001, Ieva Daukantas, Fletcher Lee Newell, Umberto J. Ravaioli, Baoluo Meng, Michael Durling, Milan Ganai, Tobey Shim, Guy Katz, Clark W. Barrett
FMCAD9
2023 Learning Stabilization Control from Observations by Learning Lyapunov-like Proxy Models
abstract
The deployment of Reinforcement Learning to robotics applications faces the difficulty of reward engineering. Therefore, approaches have focused on creating reward functions by Learning from Observations (LfO) which is the task of learning policies from expert trajectories that only contain state sequences. We propose new methods for LfO for the important class of continuous control problems of learning to stabilize, by introducing intermediate proxy models acting as reward functions between the expert and the agent policy based on Lyapunov stability theory. Our LfO training process consists of two steps. The first step attempts to learn a Lyapunov-like landscape proxy model from expert state sequences without access to any kinematics model, and the second step uses the learned landscape model to guide in training the learner's policy. We formulate novel learning objectives for the two steps that are important for overall training success. We evaluate our methods in real automobile robot environments and other simulated stabilization control problems in model-free settings, like Quadrotor control and maintaining upright positions of Hopper in MuJoCo. We compare with state-of-the-art approaches and show the proposed methods can learn efficiently with less expert observations.
Milan Ganai, Chiaki Hirayama, Ya-Chien Chang, Sicun Gao
ICRA1
2023 Iterative Reachability Estimation for Safe Reinforcement Learning
abstract
Ensuring safety is important for the practical deployment of reinforcement learning (RL). Various challenges must be addressed, such as handling stochasticity in the environments, providing rigorous guarantees of persistent state-wise safety satisfaction, and avoiding overly conservative behaviors that sacrifice performance. We propose a new framework, Reachability Estimation for Safe Policy Optimization (RESPO), for safety-constrained RL in general stochastic settings. In the feasible set where there exist violation-free policies, we optimize for rewards while maintaining persistent safety. Outside this feasible set, our optimization produces the safest behavior by guaranteeing entrance into the feasible set whenever possible with the least cumulative discounted violations. We introduce a class of algorithms using our novel reachability estimation function to optimize in our proposed framework and in similar frameworks such as those concurrently handling multiple hard and soft constraints. We theoretically establish that our algorithms almost surely converge to locally optimal policies of our safe optimization framework. We evaluate the proposed methods on a diverse suite of safe RL environments from Safety Gym, PyBullet, and MuJoCo, and show the benefits in improving both reward performance and safety compared with state-of-the-art baselines.
Milan Ganai, Chenning Yu, Sylvia L. Herbert, Sicun Gao
NeurIPS1