Lydia Dehbi

According to our database, Lydia Dehbi authored at least 7 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Polynomial Neural Barrier Certificate Synthesis of Hybrid Systems via Counterexample Guidance.

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

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024

2023

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

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

ACM Trans. Embed. Comput. Syst., October, 2023

Equivalent Transformation and Dual Stream Network Construction for Mobile Image Super-Resolution.

Jiahao Chao, Zhou Zhou, Hongfan Gao, Jiali Gong, Zhengfeng Yang, Zhenbing Zeng, Lydia Dehbi

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

2022

The number of tetrahedra sharing the same metric invariants via symbolic and numerical computations.

Lydia Dehbi, Zhenbing Zeng, Lu Yang

J. Symb. Comput., 2022

Heilbronn's Problem of Eight Points in the Square.

Lydia Dehbi, Zhenbing Zeng

J. Syst. Sci. Complex., 2022

2019

A Heilbronn Type Inequality for Plane Nonagons.

Zhenbing Zeng, Jian Lu, Lydia Dehbi, Liangyu Chen, Jianlin Wang

Proceedings of the Maple in Mathematics Education and Research - Third Maple Conference, 2019

On the Number of Congruent Classes of the Tetrahedra Determined by Given Volume, Circumradius and Face Areas.

Zhenbing Zeng, Lu Yang, Lydia Dehbi

Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019