- Verification for machine learning system
- Testing for machine learning system
An Inductive Synthesis Framework for Verifiable Reinforcement Learning.
He Zhu, Zikang Xiong, Stephen Magill and Suresh Jagannathan.
ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2019)
Purdue University, West Lafayette
University of Electronic Science and Technology of China