Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization

Document Details

Document Type: Pub Defense Publication
Publication Date: May 04, 2022
Source ID: 10.1145/3501710.3519536

Entities

People

Kwesi Rutledge
Necmiye Ozay

Organizations

National Science Foundation
Office of Naval Research
University of Michigan