Hyperproperties for Robotics: Planning via HyperLTL.

Yu Wang Siddhartha Nalluri Miroslav Pajic

Published in: ICRA (2020)

Keyphrases

computer vision
artificial intelligence
planning process
heuristic search
motion planning
robotic tasks
data sets
ai planning
machine intelligence
information retrieval
domain independent
plan recognition
decision support
production planning
multi agent systems
robot control
image sequences
blocks world