TY  - RPRT
TI  - Hyperproperties for Robotics: Planning via HyperLTL
AU  - Yu Wang
AU  - Siddhartha Nalluri
AU  - Miroslav Pajic
PY  - 2020
UR  - https://arxiv.org/abs/1911.11870
ID  - 1911.11870
ER  -