| Safe reinforcement learning using formal verification for tissue retraction in autonomous robotic-assisted surgery A Pore*, D Corsi*, E Marchesini*, D Dall’Alba, A Casals, A Farinelli, ... [*Equal] IEEE International Conference on Intelligent Robots and Systems (IROS), 2021 | 35 | 2021 |
| Formal verification of neural networks for safety-critical tasks in deep reinforcement learning D Corsi, E Marchesini, A Farinelli Uncertainty in Artificial Intelligence (UAI), 2021 | 35 | 2021 |
| Exploring safer behaviors for deep reinforcement learning E Marchesini*, D Corsi*, A Farinelli [*Equal] The 36th AAAI Conference on Artificial Intelligence (AAAI), 2022 | 28 | 2022 |
| Genetic soft updates for policy evolution in deep reinforcement learning E Marchesini, D Corsi, A Farinelli International Conference on Learning Representations (ICLR), 2020 | 27 | 2020 |
| Benchmarking safe deep reinforcement learning in aquatic navigation E Marchesini, D Corsi, A Farinelli IEEE International Conference on Intelligent Robots and Systems (IROS), 2021 | 24 | 2021 |
| Verifying Learning-Based Robotic Navigation Systems G Amir*, D Corsi*, R Yerushalmi, L Marzari, D Harel, A Farinelli, G Katz [*Equal] Tools and Algorithms for the Construction and Analysis of Systems …, 2023 | 19 | 2023 |
| Gestural Interaction and Navigation Techniques for Virtual Museum Experiences. FM Caputo, IM Ciortan, D Corsi, M De Stefani, A Giachetti Advanced Visual Interfaces and Interactions in Cultural Heritage (AVI* CH), 2016 | 19 | 2016 |
| Formal verification for safe deep reinforcement learning in trajectory generation D Corsi, E Marchesini, A Farinelli, P Fiorini IEEE International Conference on Robotic Computing (IRC), 2020 | 17 | 2020 |
| Constrained reinforcement learning for robotics via scenario-based programming D Corsi, R Yerushalmi, G Amir, A Farinelli, D Harel, G Katz arXiv preprint arXiv:2206.09603, 2022 | 13 | 2022 |
| Double deep q-network for trajectory generation of a commercial 7dof redundant manipulator E Marchesini, D Corsi, A Benfatti, A Farinelli, P Fiorini IEEE International Conference on Robotic Computing (IRC), 2019 | 11 | 2019 |
| The #DNN-Verification problem: Counting Unsafe Inputs for Deep Neural Networks L Marzari*, D Corsi*, F Cicalese, A Farinelli [*Equal] International Joint Conference on Artificial Intelligence (IJCAI), 2023 | 10 | 2023 |
| Curriculum learning for safe mapless navigation L Marzari, D Corsi, E Marchesini, A Farinelli ACM/SIGAPP Symposium on Applied Computing (ACM/SAC), 2022 | 9 | 2022 |
| Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation D Corsi, L Marzari, A Pore, A Farinelli, A Casals, P Fiorini, D Dall'Alba IEEE International Conference on Intelligent Robots and Systems (IROS), 2023 | 4 | 2023 |
| Evaluating the safety of deep reinforcement learning models using semi-formal verification D Corsi, E Marchesini, A Farinelli arXiv preprint arXiv:2010.09387, 2020 | 4 | 2020 |
| Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees L Marzari, D Corsi, E Marchesini, A Farinelli, F Cicalese The 38th AAAI Conference on Artificial Intelligence (AAAI), 2024 | 2 | 2024 |
| Formally Explaining Neural Networks within Reactive Systems S Bassan, G Amir, D Corsi, I Refaeli, G Katz Formal Methods in Computer-Aided Design (FMCAD), 2023 | 2 | 2023 |
| Safe and Efficient Reinforcement Learning for Environmental Monitoring F Bianchi, D Corsi, L Marzari, D Meli, F Trotti, M Zuccotto, A Castellini, ... Proceedings of the Italia Intelligenza Artificiale-Thematic Workshops co …, 2023 | 1 | 2023 |
| Analyzing Adversarial Inputs in Deep Reinforcement Learning D Corsi, G Amir, G Katz, A Farinelli arXiv preprint arXiv:2402.05284, 2024 | | 2024 |
| Safe Deep Reinforcement Learning: Enhancing the Reliability of Intelligent Systems D Corsi University of Verona (PhD Dissertation), 2023 | | 2023 |
| Formal Verification for Counting Unsafe Inputs in Deep Neural Networks L Marzari, D Corsi, F Cicalese, A Farinelli | | |
Alessandro FarinelliFull professor of Computer Science, University of VeronaVerified email at univr.it
