Login / Signup
Wenjie Qiu
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Temporal Logic
Temporally Extended Goals
Reinforcement Learning Agents
Automata Theoretic
Top Venues
Proc. ACM Program. Lang.
NeurIPS
</>
Publications
</>
Guofeng Cui
,
Yuning Wang
,
Wenjie Qiu
,
He Zhu
Reward-Guided Synthesis of Intelligent Agents with Control Structures.
Proc. ACM Program. Lang.
8 (PLDI) (2024)
Wenjie Qiu
,
Wensen Mao
,
He Zhu
Instructing Goal-Conditioned Reinforcement Learning Agents with Temporal Logic Objectives.
NeurIPS
(2023)