Extracting counterexamples induced by safety violation in linear hybrid systems

Document Details

Document Type: Pub Defense Publication
Publication Date: Jul 01, 2020
Source ID: 10.1016/j.automatica.2020.109005

Entities

People

Manish Goyal
Parasara Sridhar Duggirala

Organizations

Air Force Office of Scientific Research
National Science Foundation