| 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 | 36* | 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 | 27 | 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 | 15 | 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 | 11 | 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 | 10 | 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 | 8 | 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 | 6 | 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 (*Equal contribution) IEEE International Conference on Intelligent Robots …, 2023 | 4 | 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 | 2 | 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 | 1 | 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 | | 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 | | 2024 |
| Improving Policy Optimization via -Retrain L Marzari, C Liu, PL Donti, E Marchesini arXiv preprint arXiv:2406.08315, 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 |
Alessandro FarinelliFull professor of Computer Science, University of Verona在 univr.it 的电子邮件经过验证
