Login / Signup

Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP.

Vasumathi RamanHadas Kress-Gazit
Published in: CAV (2011)
Keyphrases
  • high level
  • robot behavior
  • reinforcement learning
  • mobile robot
  • human robot
  • decision making
  • robotic systems