Login / Signup
A ROS Package for Human-In-the-Loop Planning and Control under Linear Temporal Logic Tasks.
Robin Baran
Xiao Tan
Péter Várnai
Pian Yu
Sofie Ahlberg
Meng Guo
Wenceslao Shaw-Cortez
Dimos V. Dimarogonas
Published in:
CASE (2021)
Keyphrases
</>
linear temporal logic
human operators
temporal logic
control system
robotic systems
human users
temporally extended goals
model checking
robot behavior
planning problems
control strategy
motion planning
classical planning
heuristic search
optimal control
bounded model checking