Login / Signup
Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP.
Vasumathi Raman
Hadas Kress-Gazit
Published in:
CAV (2011)
Keyphrases
</>
high level
robot behavior
reinforcement learning
mobile robot
human robot
decision making
robotic systems