TY  - RPRT
TI  - Precise but Natural Specification for Robot Tasks
AU  - Ivan Gavran
AU  - Brendon Boldt
AU  - Eva Darulova
AU  - Rupak Majumdar
PY  - 2018
UR  - https://arxiv.org/abs/1803.02238
ID  - 1803.02238
ER  -