| 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 | 50 | 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 | 45 | 2021 |
| Exploring safer behaviors for deep reinforcement learning E Marchesini*, D Corsi*, A Farinelli [*Equal] The 36th AAAI Conference on Artificial Intelligence (AAAI), 2022 | 42 | 2022 |
| 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 | 36 | 2023 |
| Genetic soft updates for policy evolution in deep reinforcement learning E Marchesini, D Corsi, A Farinelli International Conference on Learning Representations (ICLR), 2020 | 34 | 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 | 26 | 2021 |
| 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 | 21 | 2016 |
| Constrained Reinforcement Learning for Robotics via Scenario-Based Programming D Corsi, R Yerushalmi, G Amir, A Farinelli, D Harel, G Katz The 31st International Conference on Neural Information Processing (ICONIP), 2024 | 20 | 2024 |
| 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 | 20 | 2020 |
| 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 | 19 | 2023 |
| Curriculum learning for safe mapless navigation L Marzari, D Corsi, E Marchesini, A Farinelli ACM/SIGAPP Symposium on Applied Computing (ACM/SAC), 2022 | 14 | 2022 |
| 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 | 12 | 2023 |
| 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 |
| Analyzing Adversarial Inputs in Deep Reinforcement Learning D Corsi, G Amir, G Katz, A Farinelli arXiv preprint arXiv:2402.05284, 2024 | 9 | 2024 |
| 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 | 9 | 2024 |
| 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 | 7 | 2023 |
| Shield Synthesis for LTL Modulo Theories A Rodriguez, G Amir, D Corsi, C Sanchez, G Katz The 39th AAAI Conference on Artificial Intelligence (AAAI), 2025 | 4 | 2025 |
| Verification-Guided Shielding for Deep Reinforcement Learning D Corsi, G Amir, A Rodriguez, C Sanchez, G Katz, R Fox The 1st Reinforcement Learning Conference (RLC), 2024 | 4 | 2024 |
| 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 |
| 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 | 2 | 2023 |
Alessandro FarinelliFull professor of Computer Science, University of VeronaBestätigte E-Mail-Adresse bei univr.it
