TY  - RPRT
TI  - Optimization of Lyapunov Invariants in Verification of Software Systems
AU  - Mardavij Roozbehani
AU  - Alexandre Megretski
AU  - Eric Feron
PY  - 2011
UR  - https://arxiv.org/abs/1108.0170
ID  - 1108.0170
ER  -