Weizhi Feng

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 5

Top Topics

Decomposition Methods

Ground Vehicles

Information Gain

Top Venues

Publications

Weizhi Feng, Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang
On the power of finite ambiguity in Büchi complementation. Inf. Comput. 292 (2023)
Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang
Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition. CoRR (2022)
Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang
Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition. CAV (2) (2022)
Weizhi Feng, Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang
On the Power of Finite Ambiguity in Büchi Complementation. CoRR (2021)
Weizhi Feng, Cheng-Chao Huang, Andrea Turrini, Yong Li
Modelling and Implementation of Unmanned Aircraft Collision Avoidance. SETTA (2020)