| Towards Hierarchical Task Decomposition using Deep Reinforcement Learning for Pick and Place Subtasks L Marzari, A Pore, D Dall'Alba, G Aragon-Camarasa, A Farinelli, P Fiorini 20th IEEE International Conference on Advanced Robotics (ICAR 2021), 2021 | 33* | 2021 |
| Verifying Learning-Based Robotic Navigation Systems G Amir, D Corsi, R Yerushalmi, L Marzari, D Harel, A Farinelli, G Katz Tools and Algorithms for the Construction and Analysis of Systems: 29th …, 2022 | 19 | 2022 |
| The #DNN-Verification problem: Counting Unsafe Inputs for Deep Neural Networks L Marzari, D Corsi, F Cicalese, A Farinelli International Joint Conference on Artificial Intelligence (IJCAI), 2023 | 10 | 2023 |
| Curriculum Learning for Safe Mapless Navigation L Marzari, D Corsi, E Marchesini, A Farinelli 37th ACM/SIGAPP Symposium on Applied Computing Proceedings SAC IRMAS 2022, 2021 | 9 | 2021 |
| Safe Deep Reinforcement Learning by Verifying Task-Level Properties E Marchesini*, L Marzari*, A Farinelli, C Amato (*Equal contribution) International Conference on Autonomous Agents and …, 2023 | 5 | 2023 |
| Online Safety Property Collection and Refinement for Safe Deep Reinforcement Learning in Mapless Navigation L Marzari, E Marchesini, A Farinelli IEEE International Conference on Robotics and Automation (ICRA), 2023 | 5 | 2023 |
| 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 (*Equal contribution) IEEE International Conference on Intelligent Robots …, 2023 | 4 | 2023 |
| Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees L Marzari, D Corsi, E Marchesini, A Farinelli, F Cicalese AAAI Conference on Artificial Intelligence (AAAI), 2024 | 2 | 2024 |
| 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 |
| Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing L Marzari, G Roncolato, A Farinelli 10th Italian Workshop on Artificial Intelligence and Robotics (AIRO 2023 …, 2023 | | 2023 |
| Formal Verification for Counting Unsafe Inputs in Deep Neural Networks L Marzari, D Corsi, F Cicalese, A Farinelli ICML 2nd Workshop on Formal Verification of Machine Learning 2023, 2023 | | 2023 |
Alessandro FarinelliFull professor of Computer Science, University of VeronaVerified email at univr.it
