Lazy Abstraction-Based Control for Safety Specifications.

Kyle Hsu Rupak Majumdar Kaushik Mallik Anne-Kathrin Schmuck

Published in: CDC (2018)

Keyphrases

control system
high level
control strategy
databases
machine learning
decision making
e learning
inductive learning
control method
control theory
safety analysis