1 paper
Minjae Kwon, Ingy ElSayed-Aly, Lu Feng
There is a surge of interest in using formal languages such as Linear Temporal Logic (LTL) to precisely and succinctly specify complex tasks and derive reward functions for Reinfor…