Collaborated with:
He Zhu 0001 S.Magill S.Jagannathan
Talks about:
framework (1) synthesi (1) reinforc (1) verifi (1) induct (1) learn (1)
Person: Zikang Xiong
DBLP: Xiong:Zikang
Contributed to:
Wrote 1 papers:
- PLDI-2019-ZhuXMJ #framework #induction #learning #synthesis
- An inductive synthesis framework for verifiable reinforcement learning (HZ0, ZX, SM, SJ), pp. 686–701.