Search Results for author:
Found 3 papers, 1 papers with code
Verifiably Safe Exploration for End-to-End Reinforcement Learning
We also prove that our method of enforcing the safety constraints preserves all safe policies from the original environment.
Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges
Autonomous systems -- such as self-driving cars, autonomous drones, and automated trains -- must come with strong safety guarantees.
Clinical Intervention Prediction and Understanding using Deep Networks
Real-time prediction of clinical interventions remains a challenge within intensive care units (ICUs).
Cannot find the paper you are looking for? You can
Submit a new open access paper.
