• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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