research
∙
07/28/2023
On the Trade-off Between Efficiency and Precision of Neural Abstraction
Neural abstractions have been recently introduced as formal approximatio...
share
research
∙
01/27/2023
Neural Abstractions
We present a novel method for the safety verification of nonlinear dynam...
research
∙
01/15/2023
Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems
We present a machine learning approach to quantitative verification. We ...
research
∙
02/07/2021
Neural Termination Analysis
We introduce a novel approach to the automated termination analysis of c...
research
∙
01/20/2021
Shielding Atari Games with Bounded Prescience
Deep reinforcement learning (DRL) is applied in safety-critical domains ...
research
∙
03/19/2020