Biblio
Found 2 results
Filters: Author is Mathur, Umang [Clear All Filters]
Controller synthesis for linear system with reach-avoid specifications. Transactions on Automatic Control.
.
2021. Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics. Computer Aided Verification - 30th International Conference, (CAV). :347–366.
.
2018.