Stanley Bak, Parasara Sridhar Duggirala. Direct Verification of Linear Systems with over 10000 Dimensions. 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 114-123, EasyChair, 2017. [doi]
Abstract is missing.