Found 3 results
Filters: Author is Mitra, Sayan  [Clear All Filters]
Fan C, Miller K, Mitra S.  2020.  Fast and guaranteed safe controller synthesis for nonlinear vehicle models. International Conference on Computer Aided Verification (CAV). :629–652.
Sibai H, Mokhlesi N, Fan C, Mitra S.  2020.  Multi-agent safety verification using symmetry transformations. 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). 12078 LNCS:173–190.