Wang, Y., & Zhu, H. (2025). Artifact for "Deductive Synthesis of Reinforcement Learning Agents for Infinite Horizon Tasks". Zenodo.
Chicago Style (17th ed.) CitationWang, Yuning, and He Zhu. Artifact for "Deductive Synthesis of Reinforcement Learning Agents for Infinite Horizon Tasks". Zenodo, 2025.
MLA (9th ed.) CitationWang, Yuning, and He Zhu. Artifact for "Deductive Synthesis of Reinforcement Learning Agents for Infinite Horizon Tasks". Zenodo, 2025.
Warning: These citations may not always be 100% accurate.