A case study shows that combining Marabou/Vehicle with CORA can partially verify neural-network controllers for Alsomitra-inspired gliders, but practical guarantees remain out of reach.
In: Proceedings of the Thirteenth In- ternational Conference on Machine Vision
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.RO 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Neural Network Verification for Gliding Drone Control: A Case Study
A case study shows that combining Marabou/Vehicle with CORA can partially verify neural-network controllers for Alsomitra-inspired gliders, but practical guarantees remain out of reach.