chuchu
Building Safe Autonomy
Search
Search
Main menu
Home
Publications
A list of publications
About
News
Contact
Mathur, Umang
2018
Fan, Chuchu
Mathur, Umang
Mitra, Sayan
Viswanathan, Mahesh
Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics
Computer Aided Verification – 30th International Conference, (CAV)
2021
Fan, Chuchu
Zengyi Qin
Mathur, Umang
Ning, Qiang
Mitra, Sayan
Viswanathan, Mahesh
Controller synthesis for linear system with reach-avoid specifications
Transactions on Automatic Control
