Yangge Li
Orcid: 0000-0003-4633-9408
According to our database1,
Yangge Li
authored at least 17 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
7
2
1
1
1
2
5
1
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Verification and Validation of a Vision-Based Landing System for Autonomous VTOL Air Taxis.
CoRR, 2024
Visual Tracking with Intermittent Visibility: Switched Control Design and Implementation.
CoRR, 2024
Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024
Proceedings of the American Control Conference, 2024
2023
CoRR, 2023
Verification of ℒ<sub>1</sub> Adaptive Control using Verse Library: A Case Study of Quadrotors.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
Proceedings of the Automated Technology for Verification and Analysis, 2023
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023
2022
Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022
Proceedings of the International Conference on Embedded Software, 2022
2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2020
SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification.
CoRR, 2020
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020
2018
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018