default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDavide Corsi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c15]Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli, Ferdinando Cicalese:
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees. AAAI 2024: 21387-21394- [i15]Davide Corsi, Guy Amir, Guy Katz, Alessandro Farinelli:
Analyzing Adversarial Inputs in Deep Reinforcement Learning. CoRR abs/2402.05284 (2024) - [i14]Davide Corsi, Davide Camponogara, Alessandro Farinelli:
Aquatic Navigation: A Challenging Benchmark for Deep Reinforcement Learning. CoRR abs/2405.20534 (2024) - [i13]Andoni Rodriguez, Guy Amir, Davide Corsi, Cesar Sanchez, Guy Katz:
Shield Synthesis for LTL Modulo Theories. CoRR abs/2406.04184 (2024) - [i12]Davide Corsi, Guy Amir, Andoni Rodriguez, Cesar Sanchez, Guy Katz, Roy Fox:
Verification-Guided Shielding for Deep Reinforcement Learning. CoRR abs/2406.06507 (2024) - [i11]Kyungmin Kim, Davide Corsi, Andoni Rodriguez, JB Lanier, Benjami Parellada, Pierre Baldi, Cesar Sanchez, Roy Fox:
Realizable Continuous-Space Shields for Safe Reinforcement Learning. CoRR abs/2410.02038 (2024) - 2023
- [c14]Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz:
Formally Explaining Neural Networks within Reactive Systems. FMCAD 2023: 1-13 - [c13]Luca Marzari, Davide Corsi, Ferdinando Cicalese, Alessandro Farinelli
:
The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks. IJCAI 2023: 217-224 - [c12]Davide Corsi, Luca Marzari, Ameya Pore, Alessandro Farinelli, Alicia Casals, Paolo Fiorini, Diego Dall'Alba:
Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation. IROS 2023: 10289-10294 - [c11]Federico Bianchi, Davide Corsi, Luca Marzari, Daniele Meli, Francesco Trotti, Maddalena Zuccotto, Alberto Castellini, Alessandro Farinelli:
Safe and Efficient Reinforcement Learning for Environmental Monitoring. Ital-IA 2023: 610-615 - [c10]Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz:
Verifying Learning-Based Robotic Navigation Systems. TACAS (1) 2023: 607-627 - [i10]Luca Marzari, Davide Corsi, Ferdinando Cicalese, Alessandro Farinelli:
The #DNN-Verification problem: Counting Unsafe Inputs for Deep Neural Networks. CoRR abs/2301.07068 (2023) - [i9]Davide Corsi, Luca Marzari, Ameya Pore, Alessandro Farinelli, Alicia Casals, Paolo Fiorini, Diego Dall'Alba:
Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation. CoRR abs/2303.03207 (2023) - [i8]Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz:
Formally Explaining Neural Networks within Reactive Systems. CoRR abs/2308.00143 (2023) - [i7]Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli, Ferdinando Cicalese:
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees. CoRR abs/2308.09842 (2023) - 2022
- [c9]Enrico Marchesini, Davide Corsi, Alessandro Farinelli:
Exploring Safer Behaviors for Deep Reinforcement Learning. AAAI 2022: 7701-7709 - [c8]Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli:
Curriculum learning for safe mapless navigation. SAC 2022: 766-769 - [i6]Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz:
Verifying Learning-Based Robotic Navigation Systems. CoRR abs/2205.13536 (2022) - [i5]Davide Corsi, Raz Yerushalmi, Guy Amir, Alessandro Farinelli, David Harel, Guy Katz:
Constrained Reinforcement Learning for Robotics via Scenario-Based Programming. CoRR abs/2206.09603 (2022) - 2021
- [c7]Enrico Marchesini, Davide Corsi, Alessandro Farinelli:
Genetic Soft Updates for Policy Evolution in Deep Reinforcement Learning. ICLR 2021 - [c6]Ameya Pore, Davide Corsi, Enrico Marchesini, Diego Dall'Alba, Alicia Casals, Alessandro Farinelli, Paolo Fiorini:
Safe Reinforcement Learning using Formal Verification for Tissue Retraction in Autonomous Robotic-Assisted Surgery. IROS 2021: 4025-4031 - [c5]Enrico Marchesini, Davide Corsi, Alessandro Farinelli:
Benchmarking Safe Deep Reinforcement Learning in Aquatic Navigation. IROS 2021: 5590-5595 - [c4]Davide Corsi, Enrico Marchesini, Alessandro Farinelli:
Formal verification of neural networks for safety-critical tasks in deep reinforcement learning. UAI 2021: 333-343 - [i4]Ameya Pore, Davide Corsi, Enrico Marchesini, Diego Dall'Alba, Alicia Casals, Alessandro Farinelli, Paolo Fiorini:
Safe Reinforcement Learning using Formal Verification for Tissue Retraction in Autonomous Robotic-Assisted Surgery. CoRR abs/2109.02323 (2021) - [i3]Enrico Marchesini, Davide Corsi, Alessandro Farinelli:
Benchmarking Safe Deep Reinforcement Learning in Aquatic Navigation. CoRR abs/2112.10593 (2021) - [i2]Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli:
Curriculum Learning for Safe Mapless Navigation. CoRR abs/2112.12490 (2021) - 2020
- [c3]Davide Corsi, Enrico Marchesini, Alessandro Farinelli, Paolo Fiorini:
Formal Verification for Safe Deep Reinforcement Learning in Trajectory Generation. IRC 2020: 352-359 - [i1]Davide Corsi, Enrico Marchesini, Alessandro Farinelli:
Evaluating the Safety of Deep Reinforcement Learning Models using Semi-Formal Verification. CoRR abs/2010.09387 (2020)
2010 – 2019
- 2019
- [c2]Enrico Marchesini, Davide Corsi, Andrea Benfatti, Alessandro Farinelli, Paolo Fiorini:
Double Deep Q-Network for Trajectory Generation of a Commercial 7DOF Redundant Manipulator. IRC 2019: 421-422 - 2016
- [c1]Fabio Marco Caputo, Irina-Mihaela Ciortan, Davide Corsi, Marco De Stefani, Andrea Giachetti:
Gestural Interaction and Navigation Techniques for Virtual Museum Experiences. AVI*CH 2016: 32-35
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 22:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
