MARZARI, LUCA
MARZARI, LUCA
DIPARTIMENTO DI INFORMATICA
Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation
2023-01-01 Corsi, Davide; Marzari, Luca; Pore, Ameya; Farinelli, Alessandro; Casals, Alicia; Fiorini, Paolo; Dall'Alba, Diego
Curriculum learning for safe mapless navigation
2022-01-01 Marzari, Luca; Corsi, Davide; Marchesini, Enrico; Farinelli, Alessandro
Developing safe and explainable autonomous agents: from simulation to the real world
2024-01-01 Bianchi, Federico; Castellini, Alberto; Farinelli, Alessandro; Marzari, Luca; Meli, Daniele; Trotti, Francesco; Veronese, Celeste
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees
2024-01-01 Marzari, Luca; Corsi, Davide; Marchesini, Enrico; Farinelli, Alessandro; Cicalese, Ferdinando
Online Safety Property Collection and Refinement for Safe Deep Reinforcement Learning in Mapless Navigation
2023-01-01 Marzari, L; Marchesini, E; Farinelli, A
Safe and Efficient Reinforcement Learning for Environmental Monitoring
2023-01-01 Bianchi, Federico; Corsi, Davide; Marzari, Luca; Meli, Daniele; Trotti, Francesco; Zuccotto, Maddalena; Castellini, Alberto; Farinelli, Alessandro
Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing
2023-01-01 Marzari, Luca; Roncolato, Gabriele; Farinelli, Alessandro
The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks
2023-01-01 Marzari, Luca; Corsi, Davide; Cicalese, Ferdinando; Farinelli, Alessandro
Towards Hierarchical Task Decomposition using Deep Reinforcement Learning for Pick and Place Subtasks
2021-01-01 Marzari, L; Pore, A; Dall'Alba, D; Aragon-Camarasa, G; Farinelli, A; Fiorini, P
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation | 1-gen-2023 | Corsi, Davide; Marzari, Luca; Pore, Ameya; Farinelli, Alessandro; Casals, Alicia; Fiorini, Paolo; Dall'Alba, Diego | |
| Curriculum learning for safe mapless navigation | 1-gen-2022 | Marzari, Luca; Corsi, Davide; Marchesini, Enrico; Farinelli, Alessandro | |
| Developing safe and explainable autonomous agents: from simulation to the real world | 1-gen-2024 | Bianchi, Federico; Castellini, Alberto; Farinelli, Alessandro; Marzari, Luca; Meli, Daniele; Trotti, Francesco; Veronese, Celeste | |
| Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees | 1-gen-2024 | Marzari, Luca; Corsi, Davide; Marchesini, Enrico; Farinelli, Alessandro; Cicalese, Ferdinando | |
| Online Safety Property Collection and Refinement for Safe Deep Reinforcement Learning in Mapless Navigation | 1-gen-2023 | Marzari, L; Marchesini, E; Farinelli, A | |
| Safe and Efficient Reinforcement Learning for Environmental Monitoring | 1-gen-2023 | Bianchi, Federico; Corsi, Davide; Marzari, Luca; Meli, Daniele; Trotti, Francesco; Zuccotto, Maddalena; Castellini, Alberto; Farinelli, Alessandro | |
| Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing | 1-gen-2023 | Marzari, Luca; Roncolato, Gabriele; Farinelli, Alessandro | |
| The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks | 1-gen-2023 | Marzari, Luca; Corsi, Davide; Cicalese, Ferdinando; Farinelli, Alessandro | |
| Towards Hierarchical Task Decomposition using Deep Reinforcement Learning for Pick and Place Subtasks | 1-gen-2021 | Marzari, L; Pore, A; Dall'Alba, D; Aragon-Camarasa, G; Farinelli, A; Fiorini, P |