Work

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

Year: 2025

Type: article

Source: IEEE Networking Letters

DOI: 10.1109/lnet.2025.3610580

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

Institutions: Stevens Institute of Technology, Fordham University, United States Air Force Research Laboratory, Rome Laboratory

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

SDG: Industry, innovation and infrastructure

Open Access status: closed

Funder: Army Research Office

Award: G1292799290

OpenAlex ID: W4414229175

FWCI: 0.975

Cites: 10

Cited by: 2

Related to: