I agree that this site is using cookies. You can find further informations here.
X
Marzari, Luca
157  results:
Search for persons X
?
1

Verifying Learning-Based Robotic Navigation Systems:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Amir, Guy ; Corsi, Davide ; Yerushalmi, Raz... - p. 607-627 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Online Safety Property Collection and Refinement for Safe D..:

, In: 2023 IEEE International Conference on Robotics and Automation (ICRA),
Marzari, Luca ; Marchesini, Enrico ; Farinelli, Alessandro - p. 7133-7139 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Constrained Reinforcement Learning and Formal Verification ..:

, In: 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS),
Corsi, Davide ; Marzari, Luca ; Pore, Ameya... - p. 10289-10294 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Curriculum learning for safe mapless navigation:

, In: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing,
Marzari, Luca ; Corsi, Davide ; Marchesini, Enrico. - p. 766-769 , 2022
Link: https://dl.acm.org/doi/1..
 
?
5

Online Safety Property Collection and Refinement for Safe D..:

Marzari, Luca ; Marchesini, Enrico ; Farinelli, Alessandro
http://arxiv.org/abs/2302.06695.  , 2023
Link: http://arxiv.org/abs/230..
 
?
6

Scaling #DNN-Verification Tools with Efficient Bound Propag..:

Marzari, Luca ; Roncolato, Gabriele ; Farinelli, Alessandro
http://arxiv.org/abs/2312.05890.  , 2023
Link: http://arxiv.org/abs/231..
 
?
7

Constrained Reinforcement Learning and Formal Verification ..:

Corsi, Davide ; Marzari, Luca ; Pore, Ameya...
http://arxiv.org/abs/2303.03207.  , 2023
Link: http://arxiv.org/abs/230..
 
?
8

The #DNN-Verification Problem: Counting Unsafe Inputs for D..:

Marzari, Luca ; Corsi, Davide ; Cicalese, Ferdinando.
http://arxiv.org/abs/2301.07068.  , 2023
Link: http://arxiv.org/abs/230..
 
?
9

Enumerating Safe Regions in Deep Neural Networks with Prova..:

Marzari, Luca ; Corsi, Davide ; Marchesini, Enrico..
http://arxiv.org/abs/2308.09842.  , 2023
Link: http://arxiv.org/abs/230..
 
?
10

Safe Deep Reinforcement Learning by Verifying Task-Level Pr..:

Marchesini, Enrico ; Marzari, Luca ; Farinelli, Alessandro.
http://arxiv.org/abs/2302.10030.  , 2023
Link: http://arxiv.org/abs/230..
 
?
11

Verifying Learning-Based Robotic Navigation Systems: Artifa..:

Amir, Guy ; Corsi, Davide ; Yerushalmi, Raz...
doi:10.5281/zenodo.6561335.  , 2022
Link: https://zenodo.org/recor..
 
?
12

Verifying Learning-Based Robotic Navigation Systems: Artifa..:

Amir, Guy ; Corsi, Davide ; Yerushalmi, Raz...
doi:10.5281/zenodo.6561335.  , 2022
Link: https://zenodo.org/recor..
 
?
13

Verifying Learning-Based Robotic Navigation Systems:

Amir, Guy ; Corsi, Davide ; Yerushalmi, Raz...
http://arxiv.org/abs/2205.13536.  , 2022
Link: http://arxiv.org/abs/220..
 
?
14

Artifact for Paper: Verifying Learning-Based Robotic Naviga..:

Amir, Guy ; Corsi, Davide ; Yerushalmi, Raz...
doi:10.5281/zenodo.7496351.  , 2022
Link: https://zenodo.org/recor..
 
?
15

Towards Hierarchical Task Decomposition using Deep Reinforc..:

Marzari, Luca ; Pore, Ameya ; Dall'Alba, Diego...
http://arxiv.org/abs/2102.04022.  , 2021
Link: http://arxiv.org/abs/210..
 
1-15