Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 01, 2015
Source ID
10.1109/tro.2015.2414134

Entities

People

  • Cameron Finucane
  • Hadas Kress-Gazit
  • Nir Piterman
  • Vasumathi Raman

Organizations

  • Semiconductor Research Corporation

Tags

Technology Areas

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