research
∙
03/11/2022
Deep Binary Reinforcement Learning for Scalable Verification
The use of neural networks as function approximators has enabled many ad...
share
research
∙
03/11/2022
A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks
Many approaches for verifying input-output properties of neural networks...
research
∙
10/20/2020
Runtime Safety Assurance Using Reinforcement Learning
The airworthiness and safety of a non-pedigreed autopilot must be verifi...
research
∙
03/15/2019