TY  - RPRT
TI  - Counterexample-guided computation of polyhedral Lyapunov functions for hybrid systems
AU  - Guillaume O. Berger
AU  - Sriram Sankaranarayanan
PY  - 2022
UR  - https://arxiv.org/abs/2206.11176
ID  - 2206.11176
ER  -