Yangge Li

activity

20202025

most citedVerifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions

36 citations · 45 across the 9 of their papers we have counts for

collaborators

Showing eess.SYShow all

2 papers · 1 filter

eess.SY2023

Verification of $L_{1}$ Adaptive Control using Verse Library: A Case Study of Quadrotors

Lin Song, Yangge Li, Sheng Cheng +3

$L_{1}$ adaptive control ( $L_{1}$ AC) is a control design technique that can handle a broad class of system uncertainties and provide transient performance guarantees. In this work-in-p…

eess.SY2020

SceneChecker: Boosting Scenario Verification using Symmetry Abstractions

Hussein Sibai, Yangge Li, Sayan Mitra

We presentSceneChecker, a tool for verifying scenarios involving vehicles executing complex plans in large cluttered workspaces. SceneChecker converts the scenario verification pro…

Verification of L1​ Adaptive Control using Verse Library: A Case Study of Quadrotors

SceneChecker: Boosting Scenario Verification using Symmetry Abstractions

Verification of $L_{1}$ Adaptive Control using Verse Library: A Case Study of Quadrotors