Lazy Abstraction-Based Control for Safety Specifications.

Kyle Hsu Rupak Majumdar Kaushik Mallik Anne-Kathrin Schmuck

Published in: CoRR (2018)

Keyphrases

high level
control system
data sets
control theory
artificial intelligence
robotic systems
control method
process control
robot control