Login / Signup
Linear Temporal Logic Satisfaction in Adversarial Environments using Secure Control Barrier Certificates.
Bhaskar Ramasubramanian
Luyao Niu
Andrew Clark
Linda Bushnell
Radha Poovendran
Published in:
CoRR (2019)
Keyphrases
</>
linear temporal logic
control system
temporal logic
learning algorithm
multi agent
search algorithm
access control