A regression-tree-based method computes guaranteed bounds on the safe output probability for neural networks under probabilistic inputs by generating safe and unsafe hulls via boundary-aware sampling and prioritized refinement.
In: Learning for Dynamics and Control Conference, L4DC 2023, 15-16 June 2023, Philadelphia, PA, USA
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation
A regression-tree-based method computes guaranteed bounds on the safe output probability for neural networks under probabilistic inputs by generating safe and unsafe hulls via boundary-aware sampling and prioritized refinement.