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
43 * 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
37 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 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 L Marzari, C Liu, PL Donti, E Marchesini
International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2025
1 2025 Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations L Marzari, F Leofante, F Cicalese, A Farinelli
27th European Conference on Artificial Intelligence (ECAI 2024), 2024
1 2024 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 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 VeronaEmail verificata su univr.it
