Gestural Interaction and Navigation Techniques for Virtual Museum Experiences. - Fabio Marco Caputo; Irina-Mihaela Ciortan; Davide Corsi; Marco De Stefani; Andrea Giachetti 001 (AVI*CH, 2016)

Double Deep Q-Network for Trajectory Generation of a Commercial 7DOF Redundant Manipulator. - Enrico Marchesini; Davide Corsi; Andrea Benfatti; Alessandro Farinelli; Paolo Fiorini (IRC, 2019)

Formal Verification for Safe Deep Reinforcement Learning in Trajectory Generation. - Davide Corsi; Enrico Marchesini; Alessandro Farinelli; Paolo Fiorini (IRC, 2020)

Evaluating the Safety of Deep Reinforcement Learning Models using Semi-Formal Verification. - Davide Corsi; Enrico Marchesini; Alessandro Farinelli (CoRR, 2020)

Genetic Soft Updates for Policy Evolution in Deep Reinforcement Learning. - Enrico Marchesini; Davide Corsi; Alessandro Farinelli (ICLR, 2021)

Benchmarking Safe Deep Reinforcement Learning in Aquatic Navigation. - Enrico Marchesini; Davide Corsi; Alessandro Farinelli (IROS, 2021)

Safe Reinforcement Learning using Formal Verification for Tissue Retraction in Autonomous Robotic-Assisted Surgery. - Ameya Pore; Davide Corsi; Enrico Marchesini; Diego Dall'Alba; Alicia Casals; Alessandro Farinelli; Paolo Fiorini (IROS, 2021)

Formal verification of neural networks for safety-critical tasks in deep reinforcement learning. - Davide Corsi; Enrico Marchesini; Alessandro Farinelli (UAI, 2021)

Exploring Safer Behaviors for Deep Reinforcement Learning. - Enrico Marchesini; Davide Corsi; Alessandro Farinelli (AAAI, 2022)

Curriculum learning for safe mapless navigation. - Luca Marzari; Davide Corsi; Enrico Marchesini; Alessandro Farinelli (SAC, 2022)

Constrained Reinforcement Learning for Robotics via Scenario-Based Programming. - Davide Corsi; Raz Yerushalmi; Guy Amir; Alessandro Farinelli; David Harel; Guy Katz (CoRR, 2022)

Formally Explaining Neural Networks within Reactive Systems. - Shahaf Bassan; Guy Amir; Davide Corsi; Idan Refaeli; Guy Katz (FMCAD, 2023)

The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks. - Luca Marzari; Davide Corsi; Ferdinando Cicalese; Alessandro Farinelli (IJCAI, 2023)

Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation. - Davide Corsi; Luca Marzari; Ameya Pore; Alessandro Farinelli; Alicia Casals; Paolo Fiorini; Diego Dall'Alba (IROS, 2023)

Safe and Efficient Reinforcement Learning for Environmental Monitoring. - Federico Bianchi 002; Davide Corsi; Luca Marzari; Daniele Meli; Francesco Trotti; Maddalena Zuccotto; Alberto Castellini; Alessandro Farinelli (Ital-IA, 2023)

Verifying Learning-Based Robotic Navigation Systems. - Guy Amir; Davide Corsi; Raz Yerushalmi; Luca Marzari; David Harel; Alessandro Farinelli; Guy Katz (TACAS (1), 2023)

Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees. - Luca Marzari; Davide Corsi; Enrico Marchesini; Alessandro Farinelli; Ferdinando Cicalese (AAAI, 2024)

Enforcing Specific Behaviours via Constrained DRL and Scenario-Based Programming. - Davide Corsi; Raz Yerushalmi; Guy Amir; Alessandro Farinelli; David Harel; Guy Katz (ICONIP (11), 2024)

Verification-Guided Shielding for Deep Reinforcement Learning. - Davide Corsi; Guy Amir; Andoni Rodríguez; Guy Katz; César Sánchez 001; Roy Fox (RLJ, 2024)

Aquatic Navigation: A Challenging Benchmark for Deep Reinforcement Learning. - Davide Corsi; Davide Camponogara; Alessandro Farinelli (RLJ, 2024)

Analyzing Adversarial Inputs in Deep Reinforcement Learning. - Davide Corsi; Guy Amir; Guy Katz; Alessandro Farinelli (CoRR, 2024)

Shield Synthesis for LTL Modulo Theories. - Andoni Rodríguez; Guy Amir; Davide Corsi; César Sánchez 001; Guy Katz (AAAI, 2025)

Realizable Continuous-Space Shields for Safe Reinforcement Learning. - Kyungmin Kim 002; Davide Corsi; Andoni Rodríguez; JB Lanier; Benjami Parellada; Pierre Baldi; César Sánchez 001; Roy Fox (L4DC, 2025)

Adapting World Models with Latent-State Dynamics Residuals. - JB Lanier; Kyungmin Kim 002; Armin Karamzade; Yifei Liu; Ankita Sinha; Kat He; Davide Corsi; Roy Fox (CoRR, 2025)

Efficient Dynamic Shielding for Parametric Safety Specifications. - Davide Corsi; Kaushik Mallik; Andoni Rodríguez; César Sánchez 001 (CoRR, 2025)

Explanations for Unrealizability of Infinite-State Safety Shields. - Andoni Rodríguez; Irfansha Shaik; Davide Corsi; Roy Fox; César Sánchez 001 (CoRR, 2025)