Found 3 results
Filters: Author is Mitra, Sayan [Clear All Filters]
Controller synthesis for linear system with reach-avoid specifications. Transactions on Automatic Control.. 2021.
Fast and guaranteed safe controller synthesis for nonlinear vehicle models. International Conference on Computer Aided Verification (CAV). :629–652.. 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.. 2020.