Cita APA (7a ed.)

Wang, Y., & Zhu, H. (2025). Artifact for "Deductive Synthesis of Reinforcement Learning Agents for Infinite Horizon Tasks". Zenodo.

Cita Chicago Style (17a ed.)

Wang, Yuning, y He Zhu. Artifact for "Deductive Synthesis of Reinforcement Learning Agents for Infinite Horizon Tasks". Zenodo, 2025.

Cita MLA (9a ed.)

Wang, Yuning, y He Zhu. Artifact for "Deductive Synthesis of Reinforcement Learning Agents for Infinite Horizon Tasks". Zenodo, 2025.