TY  - RPRT
TI  - ProsaBuddy: Assisting Mechanized Real-Time Schedulability Analysis with LLM-based Agents
AU  - Junyi Liu
AU  - Tianchi Ren
AU  - Fei Guan
AU  - Xu Jiang
AU  - Zhe Jiang
AU  - Wang Yi
AU  - Nan Guan
PY  - 2026
UR  - https://arxiv.org/abs/2610.03796
ID  - 2610.03796
ER  -