Yangge Li

24 papers C 1Misc 1Journal 9Unranked 13
YearRankTypeTitle / Venue / Authors
2025 — conf
'Too Theoretical and Nowhere Near Interesting': Using a Tool to Increase Student Motivation for Formal Methods.
ITiCSE (1)
Katherine Braught, Yangge Li, Katherine Driggs-Campbell, Sayan Mitra
2025 J jnl
Abstract Rendering: Computing All that is Seen in Gaussian Splat Scenes.
CoRR
Yangge Li, Chenxi Ji, Xiangru Zhong, Huan Zhang, Sayan Mitra
2025 — conf
Lyapunov Perception Contracts for Operating Design Domains.
L4DC
Yangge Li, Chenxi Ji, Jai Anchalia, Yixuan Jia, Benjamin C. Yang, Daniel Zhuang, Sayan Mitra
2025 — conf
Verifying Vision-Based Autonomy with Abstract Rendering and Perception Contracts.
ICCPS
Yangge Li, Chenxi Ji, Sayan Mitra
2024 C conf
Assuring Safety of Vision-Based Swarm Formation Control.
ACC
Chiao Hsieh, Yubin Koh, Yangge Li, Sayan Mitra
2024 — conf
Formal Verification Techniques for Vision-Based Autonomous Systems - A Survey.
Principles of Verification (3)
Sayan Mitra, Corina S. Pasareanu, Pavithra Prabhakar, Sanjit A. Seshia, Ravi Mangal, Yangge Li, Christopher Watson, Divya Gopinath, Huafeng Yu
2024 J jnl
Verification and Validation of a Vision-Based Landing System for Autonomous VTOL Air Taxis.
CoRR
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
2024 J jnl
Visual Tracking with Intermittent Visibility: Switched Control Design and Implementation.
CoRR
Yangge Li, Benjamin C. Yang, Sayan Mitra
2023 — conf
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH
Matthias Althoff, Marcelo Forets, Yangge Li, Sayan Mitra, Christian Schilling, Mark Wetzlinger, Daniel Zhuang
2023 — conf
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
ARCH
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
2023 — conf
Parallel and Incremental Verification of Hybrid Automata with Ray and Verse.
ATVA (1)
Haoqing Zhu, Yangge Li, Keyi Shen, Sayan Mitra
2023 J jnl
Refining Perception Contracts: Case Studies in Vision-based Safe Auto-landing.
CoRR
Yangge Li, Benjamin C. Yang, Yixuan Jia, Daniel Zhuang, Sayan Mitra
2023 J jnl
Verification of L
CoRR
Lin Song, Yangge Li, Sheng Cheng, Pan Zhao, Sayan Mitra, Naira Hovakimyan
2023 — conf
Verification of ℒ
ICCPS
Lin Song, Yangge Li, Sheng Cheng, Pan Zhao, Sayan Mitra, Naira Hovakimyan
2023 — conf
Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios.
CAV (1)
Yangge Li, Haoqing Zhu, Katherine Braught, Keyi Shen, Sayan Mitra
2023 J jnl
Verse: A Python library for reasoning about multi-agent hybrid system scenarios.
CoRR
Yangge Li, Haoqing Zhu, Katherine Braught, Keyi Shen, Sayan Mitra
2022 J jnl
Assuring safety of vision-based swarm formation control.
CoRR
Chiao Hsieh, Yangge Li, Yubin Koh, Sayan Mitra
2022 Misc conf
Industry-track: Challenges in Rebooting Autonomy with Deep Learned Perception.
EMSOFT
Michael Abraham, Aaron Mayne, Tristan Perez, Ítalo Romani de Oliveira, Huafeng Yu, Chiao Hsieh, Yangge Li, Dawei Sun, Sayan Mitra
2022 J jnl
Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Chiao Hsieh, Yangge Li, Dawei Sun, Keyur Joshi, Sasa Misailovic, Sayan Mitra
2021 — conf
SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions.
CAV (1)
Hussein Sibai, Yangge Li, Sayan Mitra
2020 — conf
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH
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
2020 J jnl
SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification.
CoRR
Hussein Sibai, Yangge Li, Sayan Mitra
2018 — conf
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH@ADHS
Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp
2018 — conf
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
ARCH@ADHS
Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani