ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen 0002, Goran Frehse, Rajarshi Ray, Stefan Schupp. ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. In Goran Frehse, Matthias Althoff, editors, ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, USA. Volume 48 of EPiC Series, pages 143-159, EasyChair, 2017. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.