Filter dates
Overview
- neural network
- formal verification
- markov model
- markov process
- timed automata
Publications
Invariant Correlation of Representation with Label.
CoRR
DeepCDCL: A CDCL-based Neural Network Verification Framework.
TASE
DeepCDCL: An CDCL-based Neural Network Verification Framework.
CoRR
ADVREPAIR: Provable Repair of Adversarial Attack.
CoRR
Scenario Approach for Parametric Markov Models.
ATVA (1)
Model Predictive Control with Reach-avoid Analysis.
CoRR