Sign in
Secure Control in Partially Observable Environments to Satisfy LTL Specifications.
Bhaskar Ramasubramanian
Luyao Niu
Andrew Clark
Linda Bushnell
Radha 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