Yangge Li

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 16

Top Topics

Nonlinear Dynamics

Top Venues

Publications

Lin Song, Yangge Li, Sheng Cheng, Pan Zhao, Sayan Mitra, Naira Hovakimyan
Adaptive Control using Verse Library: A Case Study of Quadrotors. CoRR (2023)
Lin Song, Yangge Li, Sheng Cheng, Pan Zhao, Sayan Mitra, Naira Hovakimyan
Adaptive Control using Verse Library: A Case Study of Quadrotors. ICCPS (2023)
Yangge Li, Haoqing Zhu, Katherine Braught, Keyi Shen, Sayan Mitra
Verse: A Python library for reasoning about multi-agent hybrid system scenarios. CoRR (2023)
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
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH (2023)
Yangge Li, Haoqing Zhu, Katherine Braught, Keyi Shen, Sayan Mitra
Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios. CAV (1) (2023)
Yangge Li, Benjamin C. Yang, Yixuan Jia, Daniel Zhuang, Sayan Mitra
Refining Perception Contracts: Case Studies in Vision-based Safe Auto-landing. CoRR (2023)
Matthias Althoff, Marcelo Forets, Yangge Li, Sayan Mitra, Christian Schilling, Mark Wetzlinger, Daniel Zhuang
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH (2023)
Haoqing Zhu, Yangge Li, Keyi Shen, Sayan Mitra
Parallel and Incremental Verification of Hybrid Automata with Ray and Verse. ATVA (1) (2023)
Michael Abraham, Aaron Mayne, Tristan Perez, Ítalo Romani de Oliveira, Huafeng Yu, Chiao Hsieh, Yangge Li, Dawei Sun, Sayan Mitra
Industry-track: Challenges in Rebooting Autonomy with Deep Learned Perception. EMSOFT (2022)
Chiao Hsieh, Yangge Li, Dawei Sun, Keyur Joshi, Sasa Misailovic, Sayan Mitra
Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Chiao Hsieh, Yangge Li, Yubin Koh, Sayan Mitra
Assuring safety of vision-based swarm formation control. CoRR (2022)
Hussein Sibai, Yangge Li, Sayan Mitra
SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions. CAV (1) (2021)
Hussein Sibai, Yangge Li, Sayan Mitra
SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification. CoRR (2020)
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
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH (2020)
Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS (2018)
Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS (2018)