Login / Signup

Secure Control in Partially Observable Environments to Satisfy LTL Specifications.

Bhaskar RamasubramanianLuyao NiuAndrew ClarkLinda BushnellRadha Poovendran
Published in: IEEE Trans. Autom. Control. (2021)
Keyphrases
  • partially observable environments
  • bounded model checking
  • model checking
  • generative model
  • control strategy
  • optimal control
  • inverse reinforcement learning
  • machine learning
  • control system
  • temporal logic