Sign in

Lazy Abstraction-Based Control for Safety Specifications.

Kyle HsuRupak MajumdarKaushik MallikAnne-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