Author of the publication

MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems.

, , , , , , , and . Provably Correct Systems, Springer, (2017)

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

Legendre Based Adaptive Image Segmentation Combining The Gradient Information., , , , and . ICIP, page 863-867. IEEE, (2020)Visual saliency estimation using support value transform., , , , and . ICIP, page 1069-1072. IEEE, (2012)Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems., , and . Math. Comput. Sci., 6 (4): 395-408 (2012)Formal Verification of a Descent Guidance Control Program of a Lunar Lander., , , , , and . FM, volume 8442 of Lecture Notes in Computer Science, page 733-748. Springer, (2014)Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants., , and . Theories of Programming and Formal Methods, volume 8051 of Lecture Notes in Computer Science, page 354-373. Springer, (2013)Objective Cluster Analysis in Value-Based Customer Segmentation Method., and . WKDD, page 484-487. IEEE Computer Society, (2009)Synthesizing barrier certificates using neural networks., , , and . HSCC, page 25:1-25:11. ACM, (2020)基于机器视觉的液晶屏Mura缺陷检测方法 (Machine Vision Based Inspection Method of Mura Defect for LCD)., , , , and . 计算机科学, 45 (6): 296-300 (2018)Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems, , and . CoRR, (2011)A Calculus for Hybrid CSP., , , , , , and . APLAS, volume 6461 of Lecture Notes in Computer Science, page 1-15. Springer, (2010)