Biblio

Found 2 results
Filters: Author is Mathur, Umang  [Clear All Filters]
2018
Fan C, Mathur U, Mitra S, Viswanathan M.  2018.  Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics. Computer Aided Verification - 30th International Conference, (CAV). :347–366.