AFRL and SEI: Past, Present, and Future

Abstract

Statistical Model Checking for Missions Simulation in UxAS: Pursuer/Evader mission. The evaders goal is to reach one of the twosafe zones located in the corners before the pursuer drone catches it.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 2021
Accession Number
AD1133931

Entities

People

  • Dionisio de Niz

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Air Platforms
  • Cyber

DTIC Thesaurus Topics

  • Contracts
  • Cyber-Physical Systems
  • Department Of Defense
  • Engineering
  • Guarantees
  • Materials
  • Simulations
  • Simulators
  • Software Development
  • Universities
  • Verification

Readers

  • Aerial Unmanned Vehicle Swarm Micro Periodontal Dentistry.
  • Fluid Mechanics and Fluid Dynamics.
  • Game Theory.

Technology Areas

  • Autonomy
  • Autonomy - Autonomous System Control