Alert button
Picture for Yangge Li

Yangge Li

Alert button

Coordinated Science Laboratory at the University of Illinois at Urbana-Champaign

Refining Perception Contracts: Case Studies in Vision-based Safe Auto-landing

Nov 15, 2023
Yangge Li, Benjamin C Yang, Yixuan Jia, Daniel Zhuang, Sayan Mitra

Viaarxiv icon

Assuring safety of vision-based swarm formation control

Oct 03, 2022
Chiao Hsieh, Yangge Li, Yubin Koh, Sayan Mitra

Figure 1 for Assuring safety of vision-based swarm formation control
Figure 2 for Assuring safety of vision-based swarm formation control
Figure 3 for Assuring safety of vision-based swarm formation control
Figure 4 for Assuring safety of vision-based swarm formation control
Viaarxiv icon

SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification

Nov 21, 2020
Hussein Sibai, Yangge Li, Sayan Mitra

Figure 1 for SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification
Figure 2 for SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification
Figure 3 for SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification
Figure 4 for SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification
Viaarxiv icon