Formal Verification of Neural Networks for Safety-Critical Tasks in Deep Reinforcement Learning
Research article (Uncertainty in Artificial Intelligence, 2021) · cited 13× · AI/ML