I agree that this site is using cookies. You can find further informations here.
X
Corsi, Davide
251  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

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/..
 
?
3

Formally Explaining Neural Networks within Reactive Systems:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),
Bassan, Shahaf ; Amir, Guy ; Corsi, Davide.. - p. 1-13 , 2023
Link: https://doi.org/10.34727..
 
?
4

Cardiac and obstetric outcomes in pregnant women with heart..:

Ornaghi, Sara ; Bellante, Nicolo' ; Abbamondi, Alessandra...
Open Heart.  9 (2022)  1 - p. e001947 , 2022
Link: https://doi.org/10.1136/..
 
?
5

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..
 
?
6

Formal Verification for Safe Deep Reinforcement Learning in..:

, In: 2020 Fourth IEEE International Conference on Robotic Computing (IRC),
Corsi, Davide ; Marchesini, Enrico ; Farinelli, Alessandro. - p. 352-359 , 2020
Link: https://doi.org/10.1109/..
 
?
7

603: Outcomes among pregnant women with heart diseases not ..:

Ornaghi, Sara ; Arosio, Viola ; Maini, Marzia...
American Journal of Obstetrics and Gynecology.  220 (2019)  1 - p. S400-S401 , 2019
Link: https://doi.org/10.1016/..
 
?
8

Added Value of Real Time Three‐Dimensional Echocardiography..:

Fontana, Antonella ; Corsi, Davide ; Viganò, Elena..
Echocardiography.  30 (2012)  1 - p. , 2012
Link: https://doi.org/10.1111/..
 
?
9

Local Effects of Atherosclerotic Plaque on Arterial Distens..:

Giannattasio, Cristina ; Failla, Monica ; Emanuelli, Guglielmo...
Hypertension.  38 (2001)  5 - p. 1177-1180 , 2001
Link: https://doi.org/10.1161/..
 
?
10

Formally Explaining Neural Networks within Reactive Systems..:

Bassan, Shahaf ; Amir, Guy ; Corsi, Davide..
doi:10.5281/zenodo.8197761.  , 2023
Link: https://zenodo.org/recor..
 
?
11

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..
 
?
12

Formally Explaining Neural Networks within Reactive Systems:

Bassan, Shahaf ; Amir, Guy ; Corsi, Davide..
http://arxiv.org/abs/2308.00143.  , 2023
Link: http://arxiv.org/abs/230..
 
?
13

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..
 
?
14

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..
 
?
15

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

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