Weizhi Feng

According to our database, Weizhi Feng authored at least 7 papers between 2020 and 2025.

Collaborative distances:

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

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

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