Sign in
Secure Control in Partially Observable Environments to Satisfy LTL Specifications.
Bhaskar Ramasubramanian
Luyao Niu
Andrew Clark
Linda Bushnell
Radha Poovendran
Published in:
CoRR (2020)
Keyphrases
</>
partially observable environments
bounded model checking
control system
machine learning
temporal logic
dynamic programming
model checking
dynamical systems
partially observable