| 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 | 42* | 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 | 38 | 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 | 19 | 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 | 15 | 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 | 12 | 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 | 10 | 2024 |
| 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 | 10 | 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 | 8 | 2023 |
| Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations L Marzari, F Leofante, F Cicalese, A Farinelli 27th European Conference on Artificial Intelligence (ECAI 2024), 2024 | 3 | 2024 |
| Modelverification. jl: a comprehensive toolbox for formally verifying deep neural networks T Wei, L Marzari, KS Yun, H Hu, P Niu, X Luo, C Liu arXiv preprint arXiv:2407.01639, 2024 | 3 | 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 | 2 | 2023 |
| Improving Policy Optimization via -Retrain L Marzari, C Liu, PL Donti, E Marchesini International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2025 | 1 | 2025 |
| 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 | 1 | 2023 |
| RobustX: Robust Counterfactual Explanations Made Easy J Jiang, L Marzari, A Purohit, F Leofante arXiv preprint arXiv:2502.13751, 2025 | | 2025 |
| Developing safe and explainable autonomous agents: from simulation to the real world F Bianchi, A Castellini, A Farinelli, L Marzari, D Meli, F Trotti, C Veronese CEUR WORKSHOP PROCEEDINGS, 89-94, 2024 | | 2024 |
| 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 |
| Enhancing Linear Bound Tightness in Neural Network Verification via Sampling-Based Underestimation L Marzari, F Cicalese, A Farinelli | | |
Alessandro FarinelliFull professor of Computer Science, University of Veronaایمیل تأیید شده در univr.it
