Login / Signup
Wenjie Qiu
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Mazurkiewicz Traces
Verification Method
Temporally Extended Goals
Temporal Logic
Top Venues
NeurIPS
</>
Publications
</>
Wenjie Qiu
,
Wensen Mao
,
He Zhu
Instructing Goal-Conditioned Reinforcement Learning Agents with Temporal Logic Objectives.
NeurIPS
(2023)