Login / Signup
Udayan Mandal
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 3
Top Topics
Waste Collection
Reinforcement Learning
Online Training
Benchmark Instances
Top Venues
CoRR
</>
Publications
</>
Udayan Mandal
,
Guy Amir
,
Haoze Wu
,
Ieva Daukantas
,
Fletcher Lee Newell
,
Umberto J. Ravaioli
,
Baoluo Meng
,
Michael Durling
,
Milan Ganai
,
Tobey Shim
,
Guy Katz
,
Clark W. Barrett
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates.
CoRR
(2024)
Udayan Mandal
,
Guy Amir
,
Haoze Wu
,
Ieva Daukantas
,
Fletcher Lee Newell
,
Umberto J. Ravaioli
,
Baoluo Meng
,
Michael Durling
,
Kerianne Hobbs
,
Milan Ganai
,
Tobey Shim
,
Guy Katz
,
Clark W. Barrett
Safe and Reliable Training of Learning-Based Aerospace Controllers.
CoRR
(2024)
Udayan Mandal
,
Amelia Regan
,
Julian Yarkony
Local Area Routes for Vehicle Routing Problems.
CoRR
(2022)