Deep learning models have shown promising predictive accuracy for time-s...
A particularly challenging problem in AI safety is providing guarantees ...
End-to-end learning has emerged as a major paradigm for developing auton...
Models of actual causality leverage domain knowledge to generate convinc...
Generating accurate runtime safety estimates for autonomous systems is v...
Autonomous systems with machine learning-based perception can exhibit
un...
Closed-loop verification of cyber-physical systems with neural network
c...