Lazy Abstraction-Based Control for Reachability.

Kyle Hsu Rupak Majumdar Kaushik Mallik Anne-Kathrin Schmuck

Published in: CoRR (2018)

Keyphrases

control system
high level
search engine
process control
data sets
information retrieval
social networks
image processing
user interface
closed loop
control problems