C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis.
Eric S. Kim
Murat Arcak
Sanjit A. Seshia
Published in:
CAV (1) (2019)
Keyphrases
</>
control system
data sets
high level
lightweight
computationally efficient
robust estimation
control strategy
optimal control
big data
robust stability
control problems
computational power
control method
partial occlusion
expert systems
case study
information systems
data mining