Publication
Found 1 results
Author Title Type [ Year
] Filters: Author is Kuo, Yen-Ling and First Letter Of Title is E [Clear All Filters]
Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas. 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (2020). doi:10.1109/IROS45743.2020.9341325