TY  - RPRT
TI  - Automata-based Optimal Planning with Relaxed Specifications
AU  - Disha Kamale
AU  - Eleni Karyofylli
AU  - Cristian-Ioan Vasile
PY  - 2021
UR  - https://arxiv.org/abs/2107.13650
ID  - 2107.13650
ER  -