1 citations · 1 across the 6 of their papers we have counts for
6 papers
Safe and Reliable Training of Learning-Based Aerospace Controllers
Udayan Mandal, Guy Amir, Haoze Wu +10
In recent years, deep reinforcement learning (DRL) approaches have generated highly successful controllers for a myriad of complex domains. However, the opaque nature of these mode…
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
Udayan Mandal, Guy Amir, Haoze Wu +9
Deep reinforcement learning (DRL) is a powerful machine learning paradigm for generating agents that control autonomous systems. However, the ``black box'' nature of DRL agents lim…
A New Class of Compact Formulations for Vehicle Routing Problems
Udayan Mandal, Amelia Regan, Louis Martin Rousseau +1
This paper introduces a novel compact mixed integer linear programming (MILP) formulation and a discretization discovery-based solution approach for the Vehicle Routing Problem wit…
Graph Master and Local Area Routes for Efficient Column Generation for the Capacitated Vehicle Routing Problem with Time Windows
Udayan Mandal, Amelia Regan, Louis Martin Rousseau +1
In this research we consider the problem of accelerating the convergence of column generation (CG) for the weighted set cover formulation of the capacitated vehicle routing problem…
Local Area Routes and Valid Inequalities for Efficient Vehicle Routing
Udayan Mandal, Amelia Regan, Julian Yarkony
In this research we introduce Local Area (LA) routes for improving the efficiency and tightness of column generation (CG) methods for solving vehicle routing problems (VRP). LA-rou…
Local Area Routes for Vehicle Routing Problems
Udayan Mandal, Amelia Regan, Julian Yarkony
We consider an approach for improving the efficiency of column generation (CG) methods for solving vehicle routing problems. We introduce Local Area (LA) route relaxations, an alte…