An inductive synthesis framework for verifiable reinforcement learning.

He Zhu, Zikang Xiong, Stephen Magill, Suresh Jagannathan

Browse the full PLDI paper archive.