Author of the publication

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

Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming., , , , and . CoRR, (2022)Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming., , , , and . CAV (1), volume 12759 of Lecture Notes in Computer Science, page 443-466. Springer, (2021)Parf: Adaptive Parameter Refining for Abstract Interpretation., , , , , , , , and . CoRR, (2024)Robust invariant sets generation for state-constrained perturbed polynomial systems., , , and . HSCC, page 128-137. ACM, (2019)A Cross-cultural Comparison of the Use of Graphics in Scientific and Technical Communication. Technical Communication, (November 2000)Synthesizing Invariants for Polynomial Programs by Semidefinite Programming., , , , , and . CoRR, (2023)Robust Non-termination Analysis of Numerical Software., , , and . SETTA, volume 10998 of Lecture Notes in Computer Science, page 69-88. Springer, (2018)Synthesizing More Expressive Invariants by Semidefinite Programming., , , , and . CoRR, (2019)Over- and Underapproximating Reach Sets for Perturbed Delay Differential Equations., , , and . IEEE Trans. Autom. Control., 66 (1): 283-290 (2021)Differential Games Based on Invariant Sets Generation., , , , and . ACC, page 1285-1292. IEEE, (2022)