TY  - RPRT
TI  - From High-Level Types to Low-Level Monitors: Synthesizing Verified Runtime Checkers for MAVLink
AU  - Arthur Amorim
AU  - Paul Gazzillo
AU  - Max Taylor
AU  - Lance Joneckis
PY  - 2026
UR  - https://arxiv.org/abs/2604.03886
ID  - 2604.03886
ER  -