Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2305.18372
Cited By
Assumption Generation for the Verification of Learning-Enabled Autonomous Systems
27 May 2023
C. Păsăreanu
Ravi Mangal
D. Gopinath
Huafeng Yu
AAML
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Assumption Generation for the Verification of Learning-Enabled Autonomous Systems"
2 / 2 papers shown
Title
Assuring Safety of Vision-Based Swarm Formation Control
Chiao Hsieh
Yubin Koh
Yangge Li
Sayan Mitra
15
4
0
03 Oct 2022
DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks
D. Gopinath
Guy Katz
C. Păsăreanu
Clark W. Barrett
AAML
42
87
0
02 Oct 2017
1
