TY  - RPRT
TI  - Physically-Feasible Repair of Reactive, Linear Temporal Logic-based, High-Level Tasks
AU  - Adam Pacheck
AU  - Hadas Kress-Gazit
PY  - 2022
UR  - https://arxiv.org/abs/2207.02834
ID  - 2207.02834
ER  -