Davide Corsi, Enrico Marchesini, Alessandro Farinelli, Paolo Fiorini. Formal Verification for Safe Deep Reinforcement Learning in Trajectory Generation. In Fourth IEEE International Conference on Robotic Computing, IRC 2020, Taichung, Taiwan, November 9-11, 2020. pages 352-359, IEEE, 2020. [doi]
@inproceedings{CorsiMFF20,
title = {Formal Verification for Safe Deep Reinforcement Learning in Trajectory Generation},
author = {Davide Corsi and Enrico Marchesini and Alessandro Farinelli and Paolo Fiorini},
year = {2020},
doi = {10.1109/IRC.2020.00062},
url = {https://doi.org/10.1109/IRC.2020.00062},
researchr = {https://researchr.org/publication/CorsiMFF20},
cites = {0},
citedby = {0},
pages = {352-359},
booktitle = {Fourth IEEE International Conference on Robotic Computing, IRC 2020, Taichung, Taiwan, November 9-11, 2020},
publisher = {IEEE},
isbn = {978-1-7281-5237-0},
}