Averist: Algorithmic verifier for stability of linear hybrid systems
- Soto, M.G.
- Prabhakar, P.
Konferenzberichte:
HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
ISBN: 9781450356428
Datum der Publikation: 2018
Seiten: 259-264
Art: Konferenz-Beitrag
