{"id":"https://openalex.org/W4389666314","doi":"https://doi.org/10.1109/iros55552.2023.10341789","title":"Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation","display_name":"Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation","publication_year":2023,"publication_date":"2023-10-01","ids":{"openalex":"https://openalex.org/W4389666314","doi":"https://doi.org/10.1109/iros55552.2023.10341789"},"language":"en","primary_location":{"id":"doi:10.1109/iros55552.2023.10341789","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iros55552.2023.10341789","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110796636","display_name":"Davide Corsi","orcid":"https://orcid.org/0000-0002-1908-4449"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Davide Corsi","raw_affiliation_strings":["University of Verona,Department of Computer Science,Italy","Department of Computer Science, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"University of Verona,Department of Computer Science,Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005034849","display_name":"Luca Marzari","orcid":"https://orcid.org/0000-0002-0069-0182"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Luca Marzari","raw_affiliation_strings":["University of Verona,Department of Computer Science,Italy","Department of Computer Science, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"University of Verona,Department of Computer Science,Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011989897","display_name":"Ameya Pore","orcid":"https://orcid.org/0000-0001-7380-6118"},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]},{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["ES","IT"],"is_corresponding":false,"raw_author_name":"Ameya Pore","raw_affiliation_strings":["University of Verona,Department of Computer Science,Italy","Research Centre for Biomedical Engineering (CREB), Technical University of Catalonia (UPC), Spain","Department of Computer Science, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"University of Verona,Department of Computer Science,Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Research Centre for Biomedical Engineering (CREB), Technical University of Catalonia (UPC), Spain","institution_ids":["https://openalex.org/I9617848"]},{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045922629","display_name":"Alessandro Farinelli","orcid":"https://orcid.org/0000-0002-2592-5814"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alessandro Farinelli","raw_affiliation_strings":["University of Verona,Department of Computer Science,Italy","Department of Computer Science, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"University of Verona,Department of Computer Science,Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086247627","display_name":"Al\u0131\u0301cia Casals","orcid":"https://orcid.org/0000-0003-4706-5533"},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Alicia Casals","raw_affiliation_strings":["Research Centre for Biomedical Engineering (CREB), Technical University of Catalonia (UPC),Spain","Research Centre for Biomedical Engineering (CREB), Technical University of Catalonia (UPC), Spain"],"affiliations":[{"raw_affiliation_string":"Research Centre for Biomedical Engineering (CREB), Technical University of Catalonia (UPC),Spain","institution_ids":["https://openalex.org/I9617848"]},{"raw_affiliation_string":"Research Centre for Biomedical Engineering (CREB), Technical University of Catalonia (UPC), Spain","institution_ids":["https://openalex.org/I9617848"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065107543","display_name":"Paolo Fiorini","orcid":"https://orcid.org/0000-0002-0711-8605"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Paolo Fiorini","raw_affiliation_strings":["University of Verona,Department of Computer Science,Italy","Department of Computer Science, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"University of Verona,Department of Computer Science,Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072250553","display_name":"Diego Dall\u2019Alba","orcid":"https://orcid.org/0000-0002-7300-5975"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Diego Dall'Alba","raw_affiliation_strings":["University of Verona,Department of Computer Science,Italy","Department of Computer Science, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"University of Verona,Department of Computer Science,Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5110796636"],"corresponding_institution_ids":["https://openalex.org/I119439378"],"apc_list":null,"apc_paid":null,"fwci":0.7526,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.72505779,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"10289","last_page":"10294"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10653","display_name":"Robot Manipulation and Learning","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10653","display_name":"Robot Manipulation and Learning","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10462","display_name":"Reinforcement Learning in Robotics","score":0.9962999820709229,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/reinforcement-learning","display_name":"Reinforcement learning","score":0.8784761428833008},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6893395185470581},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.6333566904067993},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.6138095855712891},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.5459609627723694},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5357699990272522},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.4764683246612549},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.2595750093460083},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.11651873588562012}],"concepts":[{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.8784761428833008},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6893395185470581},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.6333566904067993},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.6138095855712891},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.5459609627723694},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5357699990272522},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.4764683246612549},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2595750093460083},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.11651873588562012},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iros55552.2023.10341789","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iros55552.2023.10341789","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W2052169839","https://openalex.org/W2594877703","https://openalex.org/W2736601468","https://openalex.org/W2904246096","https://openalex.org/W2908582708","https://openalex.org/W3093713122","https://openalex.org/W3112952488","https://openalex.org/W3127501898","https://openalex.org/W3179982033","https://openalex.org/W3192314570","https://openalex.org/W3198013102","https://openalex.org/W4205950066","https://openalex.org/W4283793632","https://openalex.org/W4283816701","https://openalex.org/W4312466183","https://openalex.org/W4321484228","https://openalex.org/W4366723927","https://openalex.org/W4375957612","https://openalex.org/W4385767377","https://openalex.org/W6737893269","https://openalex.org/W6741002519","https://openalex.org/W6757592117","https://openalex.org/W6798969013","https://openalex.org/W6849046288"],"related_works":["https://openalex.org/W17155033","https://openalex.org/W3207760230","https://openalex.org/W1496222301","https://openalex.org/W1590307681","https://openalex.org/W2536018345","https://openalex.org/W4312814274","https://openalex.org/W4285370786","https://openalex.org/W2296488620","https://openalex.org/W2358353312","https://openalex.org/W2353836703"],"abstract_inverted_index":{"The":[0],"field":[1],"of":[2,22,55,89,163,194],"robotic":[3,24,195],"Flexible":[4],"Endoscopes":[5],"(FEs)":[6],"has":[7],"progressed":[8],"significantly,":[9],"offering":[10],"a":[11,72,113,124,131,142,155],"promising":[12],"solution":[13],"to":[14,50,52,119,140],"reduce":[15],"patient":[16],"discomfort.":[17],"However,":[18,86],"the":[19,53,61,64,81,87,105,121,164,190],"limited":[20],"autonomy":[21],"most":[23],"FEs":[25],"results":[26],"in":[27,35,123,154,197],"non-intuitive":[28],"and":[29,57,159,192],"challenging":[30],"manoeuvres,":[31],"constraining":[32],"their":[33],"application":[34],"clinical":[36],"settings.":[37],"While":[38],"previous":[39],"studies":[40],"have":[41],"employed":[42],"lumen":[43,84],"tracking":[44],"for":[45,83,100],"autonomous":[46],"navigation,":[47],"they":[48,96],"fail":[49],"adapt":[51],"presence":[54],"obstructions":[56],"sharp":[58],"turns":[59],"when":[60],"endoscope":[62],"faces":[63],"colon":[65],"wall.":[66],"In":[67],"this":[68],"work,":[69],"we":[70,111,129,168],"propose":[71],"Deep":[73],"Reinforcement":[74,115],"Learning":[75,116],"(DRL)-based":[76],"navigation":[77],"strategy":[78,134],"that":[79,135,144,161,173,180],"eliminates":[80],"need":[82],"tracking.":[85],"use":[88],"DRL":[90],"methods":[91],"poses":[92],"safety":[93,126,193],"risks":[94],"as":[95],"do":[97],"not":[98],"account":[99],"potential":[101],"hazards":[102],"associated":[103],"with":[104,183],"actions":[106],"taken.":[107],"To":[108],"ensure":[109],"safety,":[110],"exploit":[112],"Constrained":[114],"(CRL)":[117],"method":[118],"restrict":[120],"policy":[122,143],"predefined":[125],"regime.":[127],"Moreover,":[128],"present":[130],"model":[132,184],"selection":[133,185],"utilises":[136],"Formal":[137],"Verification":[138],"(FV)":[139],"choose":[141],"is":[145],"entirely":[146,175],"safe":[147],"before":[148],"deployment.":[149],"We":[150],"validate":[151],"our":[152],"approach":[153],"virtual":[156],"colonoscopy":[157],"environment":[158],"report":[160],"out":[162],"300":[165],"trained":[166],"policies,":[167],"could":[169],"identify":[170],"three":[171],"policies":[172],"are":[174],"safe.":[176],"Our":[177],"work":[178],"demonstrates":[179],"CRL,":[181],"combined":[182],"through":[186],"FV,":[187],"can":[188],"improve":[189],"robustness":[191],"behaviour":[196],"surgical":[198],"applications.":[199]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}