C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates.
Bhaskar Ramasubramanian
Luyao Niu
Andrew Clark
Linda Bushnell
Radha Poovendran
Published in:
GameSec (2019)
Keyphrases
</>
linear temporal logic
robotic systems
temporal logic
control system
optimal control
control strategy
access control
web services
model checking
security issues
bounded model checking