Constrained Reinforcement Learning and Formal Verification for Safe
Colonoscopy Navigation

Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation

6 March 2023

Alessandro Farinelli

Diego DallÁlba

Papers citing "Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation"

9 / 9 papers shown

Title
Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback Daniele Meli Paolo Fiorini 36 0 0 13 Jan 2025
Safe Navigation for Robotic Digestive Endoscopy via Human Intervention-based Reinforcement Learning Min Tan Yushun Tao Boyun Zheng GaoSheng Xie Lijuan Feng Zeyang Xia Jing Xiong 22 0 0 24 Sep 2024
Analyzing Adversarial Inputs in Deep Reinforcement Learning Davide Corsi Guy Amir Guy Katz Alessandro Farinelli AAML 15 7 0 07 Feb 2024
Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing Luca Marzari Gabriele Roncolato Alessandro Farinelli 13 1 0 10 Dec 2023
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees Luca Marzari Davide Corsi Enrico Marchesini Alessandro Farinelli Ferdinando Cicalese AAML 6 10 0 18 Aug 2023
Formally Explaining Neural Networks within Reactive Systems Shahaf Bassan Guy Amir Davide Corsi Idan Refaeli Guy Katz AAML 12 15 0 31 Jul 2023
Autonomous Navigation for Robot-assisted Intraluminal and Endovascular Procedures: A Systematic Review Ameya Pore Zhen Li Diego DallÁlba A. Hernansanz Elena De Momi A. Menciassi Alicia Casals Gelpí J. Dankelman Paolo Fiorini E. V. Poorten 8 25 0 06 May 2023
Verifying Learning-Based Robotic Navigation Systems Guy Amir Davide Corsi Raz Yerushalmi Luca Marzari D. Harel Alessandro Farinelli Guy Katz 72 36 0 26 May 2022
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,818 0 03 Feb 2017