Skip to Main Content Area
  • CPS-VO
    • Contact Support
  • Browse
    • Calendar
    • Announcements
    • Repositories
    • Groups
  • Search
    • Search for Content
    • Search for a Group
    • Search for People
    • Search for a Project
    • Tagcloud
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

CPS-VO

human-UAV protocols

biblio

Visible to the public Security-Aware Synthesis of Human-UAV Protocols

Submitted by aekwall on Mon, 12/02/2019 - 12:05pm
  • security
  • learning (artificial intelligence)
  • Metrics
  • military aircraft
  • model checkers
  • Protocols
  • pubcrawl
  • RESCHU-SA testbed
  • Resiliency
  • human-unmanned aerial vehicle
  • security-aware synthesis
  • stealthy false-data injection attacks
  • stochastic game-based model
  • stochastic games
  • Stochastic processes
  • Task Analysis
  • UAV hidden-information constraint
  • geolocation strategies
  • collaboration protocols
  • collected experimental data
  • command and control systems
  • command injection attacks
  • composability
  • control engineering computing
  • formal verification
  • Games
  • autonomous aerial vehicles
  • geolocation task
  • Geology
  • Global Positioning System
  • H-UAV protocol synthesis
  • human operators
  • human-UAV coalition
  • human-UAV protocols

Terms of Use  |  ©2023. CPS-VO