Bing Mak

According to our database, Bing Mak authored at least 3 papers between 2023 and 2025.

Collaborative distances:

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

2025

Symbolic and Safety-Centric Formal Verification of MAVLink for Autonomous eVTOL Systems.

Bing Mak, Jingda Yang, Juntao Chen, Paul Ratazzi, Ying Wang

IEEE Netw. Lett., December, 2025

Communication Systems for Autonomous eVTOL: Regulatory Challenges, Emerging Technologies, and Future Directions.

Ishan Aryendu, Bing Mak, Eric Forbes, Juntao Chen, Muhammad Junaid Farooq, Ying Wang

IEEE Open J. Commun. Soc., 2025

2023

Introduction of Electric Vertical Takeoff and Landing System with Systemigram Approach.

Bing Mak, Mo Mansouri, Ying Wang

Proceedings of the 18th Annual System of Systems Engineering Conference, 2023