Author of the publication

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

, , , , , , , , , , , , and . ARCH, volume 74 of EPiC Series in Computing, page 16-48. EasyChair, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions., , and . CAV (1), volume 12759 of Lecture Notes in Computer Science, page 580-594. Springer, (2021)Verification of ℒ1 Adaptive Control using Verse Library: A Case Study of Quadrotors., , , , , and . ICCPS, page 245-246. ACM, (2023)ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , , , , and 3 other author(s). ARCH, volume 74 of EPiC Series in Computing, page 16-48. EasyChair, (2020)Parallel and Incremental Verification of Hybrid Automata with Ray and Verse., , , and . ATVA (1), volume 14215 of Lecture Notes in Computer Science, page 95-114. Springer, (2023)SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification., , and . CoRR, (2020)Refining Perception Contracts: Case Studies in Vision-based Safe Auto-landing., , , , and . CoRR, (2023)Industry-track: Challenges in Rebooting Autonomy with Deep Learned Perception., , , , , , , , and . EMSOFT, page 17-20. IEEE, (2022)Assuring safety of vision-based swarm formation control., , , and . CoRR, (2022)Verification of L1 Adaptive Control using Verse Library: A Case Study of Quadrotors., , , , , and . CoRR, (2023)Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions., , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 41 (11): 4205-4216 (2022)