@misc{indiciae8973ebaf37fe, title = {Ordering and refining path-complete Lyapunov functions through composition lifts}, author = {Wouter Jongeneel and Raphaƫl M. Jungers}, year = {2025}, doi = {10.1109/cdc57313.2025.11312012}, url = {https://arxiv.org/abs/2503.18189}, note = {Source identifier: 2503.18189} }