Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning.

Peng Jin, Jiaxu Tian, Dapeng Zhi, Xuejun Wen, Min Zhang

Browse the full CAV paper archive.