Weizhi Feng

According to our database, Weizhi Feng authored at least 10 papers between 2020 and 2026.

Collaborative distances:

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

2026

Quantifying soil micro-element state distribution and predicting tillage performance during sodic saline-alkali subsoiling based on mathematical model and DEM simulation approach.

Min Liu, Jinchun Sun, Pinyan Lv, Dongyan Huang, Da Qiao, Yingjie Guo, Weizhi Feng, Daping Fu, Limin Jiang, Jingli Wang

Comput. Electron. Agric., 2026

Can LLM Aid in Solving Constraints with Inductive Definitions?

Weizhi Feng, Shidong Shen, Jiaxiang Liu, Taolue Chen, Fu Song, Zhilin Wu

Proceedings of the Formal Methods - 27th International Symposium, 2026

2025

Improved Agricultural Machinery Navigation Algorithm Based on Machine Learning and Machine Vision Technology.

Fengwu Zhu, Weijian Zhang, Qinglai Zhao, Xianzhang Meng, Chunkai Zhao, Weizhi Feng

Inf. Technol. Control., 2025

BMCFuzz: Hybrid Verification of Processors by Synergistic Integration of Bound Model Checking and Fuzzing.

Shidong Shen, Jinyu Liu, Weizhi Feng, Fu Song, Zhilin Wu

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2025

2024

Formally Verifying Arithmetic Chisel Designs for All Bit Widths at Once.

Weizhi Feng, Yicheng Liu, Jiaxiang Liu, David N. Jansen, Lijun Zhang, Zhilin Wu

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

2023

On the power of finite ambiguity in Büchi complementation.

Weizhi Feng, Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang

Inf. Comput., June, 2023

2022

Artifact for the CAV'22 paper "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition".

Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang

Dataset, May, 2022

Artifact for the CAV'22 paper "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition".

Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang

Dataset, May, 2022

Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition.

Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2020

Modelling and Implementation of Unmanned Aircraft Collision Avoidance.

Weizhi Feng, Cheng-Chao Huang, Andrea Turrini, Yong Li

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020