TY  - RPRT
TI  - Environment-Independent Task Specifications via GLTL
AU  - Michael L. Littman
AU  - Ufuk Topcu
AU  - Jie Fu
AU  - Charles Isbell
AU  - Min Wen
AU  - James MacGlashan
PY  - 2017
UR  - https://arxiv.org/abs/1704.04341
ID  - 1704.04341
ER  -