Jiang, Jiyong

1 publications

NeurIPSW 2023 RAVE: Enabling Safety Verification for Realistic Deep Reinforcement Learning Systems Wenbo Guo, Taesung Lee, Kevin Eykholt, Jiyong Jiang