Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis. - Arvind Adimoolam; Indranil Saha (HSCC, 2022)

Safe Self-Triggered Control Based on Precomputed Reachability Sequences. - Arvind Adimoolam; Indranil Saha; Thao Dang 001 (HSCC, 2023)