-
Verifiably Safe Exploration for End-to-End Reinforcement Learning
Deploying deep reinforcement learning in safety-critical settings requir...
read it
-
Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges
Autonomous systems – such as self-driving cars, autonomous drones, and a...
read it
-
On the Design of Black-box Adversarial Examples by Leveraging Gradient-free Optimization and Operator Splitting Method
Robust machine learning is currently one of the most prominent topics wh...
read it

Nghia Hoang
is this you? claim profile