{"_id":"n6zcyLPrju2hztffb","bibbaseid":"corsi-marzari-pore-farinelli-casals-fiorini-dallalba-constrainedreinforcementlearningandformalverificationforsafecolonoscopynavigation-2023","author_short":["Corsi, D.","Marzari, L.","Pore, A.","Farinelli, A.","Casals, A.","Fiorini, P.","Dall'Alba, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Corsi"],"firstnames":["Davide"],"suffixes":[]},{"propositions":[],"lastnames":["Marzari"],"firstnames":["Luca"],"suffixes":[]},{"propositions":[],"lastnames":["Pore"],"firstnames":["Ameya"],"suffixes":[]},{"propositions":[],"lastnames":["Farinelli"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Casals"],"firstnames":["Alicia"],"suffixes":[]},{"propositions":[],"lastnames":["Fiorini"],"firstnames":["Paolo"],"suffixes":[]},{"propositions":[],"lastnames":["Dall'Alba"],"firstnames":["Diego"],"suffixes":[]}],"title":"Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation","year":"2023","booktitle":"2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)","doi":"10.1109/iros55552.2023.10341789","pages":"10289–10294","bibtex":"@inproceedings{\n\t11562_1120154,\n\tauthor = {Corsi, Davide and Marzari, Luca and Pore, Ameya and Farinelli, Alessandro and Casals, Alicia and Fiorini, Paolo and Dall'Alba, Diego},\n\ttitle = {Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation},\n\tyear = {2023},\n\tbooktitle = {2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)},\n\tdoi = {10.1109/iros55552.2023.10341789},\n\tpages = {10289--10294}\n}\n\n\n","author_short":["Corsi, D.","Marzari, L.","Pore, A.","Farinelli, A.","Casals, A.","Fiorini, P.","Dall'Alba, D."],"key":"11562_1120154","id":"11562_1120154","bibbaseid":"corsi-marzari-pore-farinelli-casals-fiorini-dallalba-constrainedreinforcementlearningandformalverificationforsafecolonoscopynavigation-2023","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/Isla-lab/Isla-lab.github.io/refs/heads/master/_data/pubs.bib","dataSources":["zh7osHDrtywfGdfsS"],"keywords":[],"search_terms":["constrained","reinforcement","learning","formal","verification","safe","colonoscopy","navigation","corsi","marzari","pore","farinelli","casals","fiorini","dall'alba"],"title":"Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation","year":2023}