Resilient, Provably-Correct, and High-Level Robot Behaviors

Document Details

Document Type
Pub Defense Publication
Publication Date
Aug 01, 2018
Source ID
10.1109/tro.2018.2830353

Entities

People

  • Hadas Kress-Gazit
  • Kai Weng Wong
  • Rüdiger Ehlers

Organizations

  • Defense Advanced Research Projects Agency

Tags

Technology Areas

  • AI & ML
  • AI & ML - Autonomous Systems
  • AI & ML - Machine Learning Algorithms
  • Autonomy
  • Autonomy - Autonomous System Control