Yangge Li

According to our database, Yangge Li authored at least 21 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Abstract Rendering: Computing All that is Seen in Gaussian Splat Scenes.

Yangge Li, Chenxi Ji, Xiangru Zhong, Huan Zhang, Sayan Mitra

CoRR, March, 2025

Lyapunov Perception Contracts for Operating Design Domains.

Yangge Li, Chenxi Ji, Jai Anchalia, Yixuan Jia, Benjamin C. Yang, Daniel Zhuang, Sayan Mitra

Proceedings of the 7th Annual Learning for Dynamics & Control Conference, 2025

'Too Theoretical and Nowhere Near Interesting': Using a Tool to Increase Student Motivation for Formal Methods.

Katherine Braught, Yangge Li, Katherine Driggs-Campbell, Sayan Mitra

Proceedings of the 30th ACM Conference on Innovation and Technology in Computer Science Education V. 1, 2025

Verifying Vision-Based Autonomy with Abstract Rendering and Perception Contracts.

Yangge Li, Chenxi Ji, Sayan Mitra

Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems, 2025

2024

Verification and Validation of a Vision-Based Landing System for Autonomous VTOL Air Taxis.

Ayoosh Bansal, Duo Wang, Mikael Yeghiazaryan, Yangge Li, Chuyuan Tao, Hyung-Jin Yoon, Prateek Arora, Christos Papachristos, Petros G. Voulgaris, Sayan Mitra, Lui Sha, Naira Hovakimyan

CoRR, 2024

Visual Tracking with Intermittent Visibility: Switched Control Design and Implementation.

Yangge Li, Benjamin C. Yang, Sayan Mitra

CoRR, 2024

Formal Verification Techniques for Vision-Based Autonomous Systems - A Survey.

Sayan Mitra, Corina S. Pasareanu, Pavithra Prabhakar, Sanjit A. Seshia, Ravi Mangal, Yangge Li, Christopher Watson, Divya Gopinath, Huafeng Yu

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

Assuring Safety of Vision-Based Swarm Formation Control.

Chiao Hsieh, Yubin Koh, Yangge Li, Sayan Mitra

Proceedings of the American Control Conference, 2024

2023

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

Yangge Li, Benjamin C. Yang, Yixuan Jia, Daniel Zhuang, Sayan Mitra

CoRR, 2023

Verification of ℒ₁ Adaptive Control using Verse Library: A Case Study of Quadrotors.

Lin Song, Yangge Li, Sheng Cheng, Pan Zhao, Sayan Mitra, Naira Hovakimyan

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios.

Yangge Li, Haoqing Zhu, Katherine Braught, Keyi Shen, Sayan Mitra

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Parallel and Incremental Verification of Hybrid Automata with Ray and Verse.

Haoqing Zhu, Yangge Li, Keyi Shen, Sayan Mitra

Proceedings of the Automated Technology for Verification and Analysis, 2023

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger, Daniel Zhuang

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

Matthias Althoff, Marcelo Forets, Yangge Li, Sayan Mitra, Christian Schilling, Mark Wetzlinger, Daniel Zhuang

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions.

Chiao Hsieh, Yangge Li, Dawei Sun, Keyur Joshi, Sasa Misailovic, Sayan Mitra

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Industry-track: Challenges in Rebooting Autonomy with Deep Learned Perception.

Michael Abraham, Aaron Mayne, Tristan Perez, Ítalo Romani de Oliveira, Huafeng Yu, Chiao Hsieh, Yangge Li, Dawei Sun, Sayan Mitra

Proceedings of the International Conference on Embedded Software, 2022

2021

SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions.

Hussein Sibai, Yangge Li, Sayan Mitra

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

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

Hussein Sibai, Yangge Li, Sayan Mitra

CoRR, 2020

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp, Mark Wetzlinger

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2018

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018