TY  - RPRT
TI  - Automated Synthesis of Lyapunov Functions for Multi-Agent Systems under Jointly Connected Topology
AU  - Shuyuan Zhang
AU  - Lei Wang
AU  - Qing-Guo Wang
PY  - 2026
UR  - https://arxiv.org/abs/2605.27576
ID  - 2605.27576
ER  -