Xin Chen 0002, Erika Ábrahám, Sriram Sankaranarayanan. Taylor Model Flowpipe Construction for Non-linear Hybrid Systems. In Proceedings of the 33rd IEEE Real-Time Systems Symposium, RTSS 2012, San Juan, PR, USA, December 4-7, 2012. pages 183-192, IEEE Computer Society, 2012. [doi]
Abstract is missing.