Formal Methods for Control Synthesis: An Optimization Perspective
Belta, Calin, Sadraddini, SadraVolume:
2
Language:
english
Journal:
Annual Review of Control, Robotics, and Autonomous Systems
DOI:
10.1146/annurev-control-053018-023717
Date:
May, 2019
File:
PDF, 3.14 MB
english, 2019