Login / Signup

Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates.

Bhaskar RamasubramanianLuyao NiuAndrew ClarkLinda BushnellRadha 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