Concepedia

Yangge Li

YL

2

Publications

41

Citations

2

H-Index

2018

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

Yangge Li is an author at University of Illinois Urbana-Champaign specializing in formal verification, systems engineering, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsFormal VerificationSystems EngineeringRoboticsStabilityAutomationHybrid SystemsMachine Vision

Publications per year

2018–2022

2

Publications

2

Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions

Chiao Hsieh, Yangge Li, Dawei Sun et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2022 · 31 citations · Full text

Engineering, Verification, Computer-aided Verification +19

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

Fabian Immler, Matthias Althoff, Xin Chen et al. · EPiC series in computing · 2018 · 10 citations · Full text

Engineering, Reachability Problem, Verification +16

Rows per page

1–2 of 2