Inferring and monitoring invariants in robotic systems

Document Details

Document Type
Pub Defense Publication
Publication Date
May 30, 2016
Source ID
10.1007/s10514-016-9576-y

Entities

People

  • Carrick Detweiler
  • Hengle Jiang
  • Sebastian Elbaum

Organizations

  • Air Force Office of Scientific Research
  • National Institute of Food and Agriculture
  • National Science Foundation

Tags

Technology Areas

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