Using control synthesis for falsification and corner case generation

Document Details

Document Type: Pub Defense Publication
Publication Date: May 18, 2021
Source ID: 10.1145/3459086.3459632

Entities

People

Necmiye Ozay

Organizations

National Science Foundation
Office of Naval Research
University of Michigan