I agree that this site is using cookies. You can find further informations here.
X
Li, Yangge
108  results:
Search for persons X
?
1

Verification of ℒ1 Adaptive Control using Verse Library: A ..:

, In: Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023),
Song, Lin ; Li, Yangge ; Cheng, Sheng... - p. 245-246 , 2023
Link: https://dl.acm.org/doi/1..
 
?
2

Verse: A Python Library for Reasoning About Multi-agent Hyb..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Li, Yangge ; Zhu, Haoqing ; Braught, Katherine.. - p. 351-364 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Parallel and Incremental Verification of Hybrid Automata wi..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Zhu, Haoqing ; Li, Yangge ; Shen, Keyi. - p. 95-114 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Effects of miR-363 on the Biological Activities of Eutopic ..:

Nai, Manman ; Zhang, Yingying ; Li, Lei...
BioMed Research International.  2022 (2022)  - p. 1-11 , 2022
Link: https://doi.org/10.1155/..
 
?
5

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

, In: 2022 International Conference on Embedded Software (EMSOFT),
Abraham, Michael ; Mayne, Aaron ; Perez, Tristan... - p. 17-20 , 2022
Link: https://doi.org/10.1109/..
 
?
6

Verifying Controllers With Vision-Based Perception Using Sa..:

Hsieh, Chiao ; Li, Yangge ; Sun, Dawei...
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.  41 (2022)  11 - p. 4205-4216 , 2022
Link: https://doi.org/10.1109/..
 
?
7

$$\mathsf {SceneChecker}$$: Boosting Scenario Verification ..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Sibai, Hussein ; Li, Yangge ; Mitra, Sayan - p. 580-594 , 2021
Link: https://doi.org/10.1007/..
 
?
8

ARCH-COMP23 category report: Continuous and hybrid systems ..:

Geretti, Luca ; Alexandre Dit Sandretto, Julien ; Althoff, Matthias...
https://vbn.aau.dk/da/publications/436f5388-4af8-4402-9c42-fbd5e003e5e4.  , 2023
Link: https://vbn.aau.dk/da/pu..
 
?
9

Refining Perception Contracts: Case Studies in Vision-based..:

Li, Yangge ; Yang, Benjamin C ; Jia, Yixuan..
http://arxiv.org/abs/2311.08652.  , 2023
Link: http://arxiv.org/abs/231..
 
?
10

ARCH-COMP23 category report: Continuous and hybrid systems ..:

Althoff, Matthias ; Forets, Marcelo ; Li, Yangge...
https://vbn.aau.dk/da/publications/e320482e-4a97-4f52-b279-3afa3fed64b7.  , 2023
Link: https://vbn.aau.dk/da/pu..
 
?
11

Verification of $L_1$ Adaptive Control using Verse Library:..:

Song, Lin ; Li, Yangge ; Cheng, Sheng...
http://arxiv.org/abs/2303.13819.  , 2023
Link: http://arxiv.org/abs/230..
 
?
12

ARCH-COMP23 Category Report: Continuous and Hybrid Systems ..:

Geretti, Luca ; Alexandre Dit Sandretto, Julien ; Althoff, Matthias...
https://mediatum.ub.tum.de/1725398.  , 2023
Link: https://mediatum.ub.tum...
 
?
13

Verse: A Python library for reasoning about multi-agent hyb..:

Li, Yangge ; Zhu, Haoqing ; Braught, Katherine..
http://arxiv.org/abs/2301.08714.  , 2023
Link: http://arxiv.org/abs/230..
 
?
14

ARCH-COMP23 Category Report: Continuous and Hybrid Systems ..:

Althoff, Matthias ; Forets, Marcelo ; Li, Yangge...
https://mediatum.ub.tum.de/1725399.  , 2023
Link: https://mediatum.ub.tum...
 
?
15

Assuring Safety of Vision-Based Swarm Formation Control:

Hsieh, Chiao ; Koh, Yubin ; Li, Yangge.
http://arxiv.org/abs/2210.00982.  , 2022
Link: http://arxiv.org/abs/221..
 
1-15