Averist: Algorithmic verifier for stability of linear hybrid systems
- Soto, M.G.
- Prabhakar, P.
Proceedings:
HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
ISBN: 9781450356428
Year of publication: 2018
Pages: 259-264
Type: Conference paper