1. Formal verification of neu-ral networks for safety-critical tasks in deep reinforcement learning;corsi;UAI,2021
2. Unity: A platform for intelligent agents;juliani;CoRR,2018
3. Rainbow: Combining improvements in drl;hessel;AAAI,2018
4. Sim-to-Real Transfer for Optical Tactile Sensing
5. Formal verifi-cation for safe deep reinforcement learning in trajectory generation;corsi;IRC,2020