TY  - RPRT
TI  - Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types
AU  - Arthur Amorim
AU  - Max Taylor
AU  - Trevor Kann
AU  - William L. Harrison
AU  - Gary T. Leavens
AU  - Lance Joneckis
PY  - 2025
UR  - https://arxiv.org/abs/2501.18874
ID  - 2501.18874
ER  -