Login / Signup
Robust Abstractions for Control Synthesis: Completeness via Robustness for Linear-Time Properties.
Jun Liu
Published in:
HSCC (2017)
Keyphrases
</>
high robustness
control system
computer vision
high level
parameter tuning
face recognition
program synthesis
structural properties
desirable properties
optimal control
robust stability
real time control
image watermarking
control method
database
data quality
real time