| emsoft | participants

Zhengfeng Yang

EMSOFT 2024: 24th International Conference on Embedded Software

Polynomial Neural Barrier Certificate Synthesis of Hybrid Systems via Counterexample Guidance

Hanrui Zhao, Banglong Liu, Lydia Dehbi, Huijiao Xie, Zhengfeng Yang, and Haifeng Qian

    EMSOFT 2023: 23rd International Conference on Embedded Software

    Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning

    Hanrui Zhao, Niuniu Qi, Lydia Dehbi, Xia Zeng, and Zhengfeng Yang

    EMSOFT 2018: 18th International Conference on Embedded Software

    Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming

    Yifan Zhang, Zhengfeng Yang, Wang Lin, Huibiao Zhu, Xin Chen, and Xuandong Li

    EMSOFT 2017: 17th International Conference on Embedded Software

    Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates

    Chao Huang, Xin Chen, Wang Lin, Zhengfeng Yang, and Xuandong Li

    EMSOFT 2016: 16th International Conference on Embedded Software

    Darboux-Type Barrier Certificates for Safety Verification of Nonlinear Hybrid Systems

    Xia Zeng, Wang Lin, Zhengfeng Yang, Xin Chen, and Lilei Wang