Search Results for author:
Found 2 papers, 1 papers with code
Safety Shielding under Delayed Observation
We propose synthesis algorithms to compute \emph{delay-resilient shields} that guarantee safety under worst-case assumptions on the delays of the input signals.
Verification of Sigmoidal Artificial Neural Networks using iSAT
Our experimental results show that the dedicated and the compositional approach clearly outperform the approximating approach.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
