Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2210.00982
Cited By
v1
v2 (latest)
Assuring Safety of Vision-Based Swarm Formation Control
3 October 2022
Chiao Hsieh
Yubin Koh
Yangge Li
Sayan Mitra
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Assuring Safety of Vision-Based Swarm Formation Control"
2 / 2 papers shown
Title
Scenario-based Compositional Verification of Autonomous Systems with Neural Perception
Christopher Watson
Rajeev Alur
Divya Gopinath
Ravi Mangal
C. Păsăreanu
87
0
0
29 Apr 2025
Refining Perception Contracts: Case Studies in Vision-based Safe Auto-landing
Yangge Li
Benjamin C Yang
Yixuan Jia
Daniel Zhuang
Sayan Mitra
112
4
0
15 Nov 2023
1
