TY  - RPRT
TI  - The Ingenuity Mars Helicopter Specified and Analyzed with the Real-time Mode-aware Dataflow Model
AU  - Guillaume Roumage
AU  - Selma Azaiez
AU  - Cyril Faure
AU  - Stéphane Louise
PY  - 2025
UR  - https://arxiv.org/abs/2501.07616
ID  - 2501.07616
ER  -