Optimizing Robotic Team Performance with Probabilistic Model Checking

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 22, 2014
Accession Number
ADA613950

Entities

People

  • David Kyle
  • John Lehoczky
  • Joseph Giampapa
  • Sagar Chaki

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Computational Science
  • Department Of Defense
  • Engineering
  • Guarantees
  • Information Operations
  • Markov Chains
  • Markov Models
  • Materials
  • Models
  • Observation
  • Probabilistic Models
  • Probability
  • Simulations
  • Simulators
  • Software Development
  • Transitions
  • Universities

Technology Areas

  • AI & ML
  • AI & ML - Autonomous Systems
  • Autonomy
  • Autonomy - Autonomous System Control