{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T15:27:55Z","timestamp":1781018875831,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,3,23]],"date-time":"2026-03-23T00:00:00Z","timestamp":1774224000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,3,23]]},"DOI":"10.1145\/3748522.3779888","type":"proceedings-article","created":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T14:17:49Z","timestamp":1781014669000},"page":"1496-1504","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Learning to Navigate Under Imperfect Perception: Conformalised Segmentation for Safe Reinforcement Learning"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0685-5312","authenticated-orcid":false,"given":"Daniel","family":"Bethell","sequence":"first","affiliation":[{"name":"University of York, York, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2706-5272","authenticated-orcid":false,"given":"Simos","family":"Gerasimou","sequence":"additional","affiliation":[{"name":"University of York, Cyprus University of Technology, York, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2678-9260","authenticated-orcid":false,"given":"Radu","family":"Calinescu","sequence":"additional","affiliation":[{"name":"University of York, York, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-3198-9226","authenticated-orcid":false,"given":"Calum","family":"Imrie","sequence":"additional","affiliation":[{"name":"University of York, York, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Moloud Abdar et al. 2021. A review of uncertainty quantification in deep learning: techniques applications and challenges. Information fusion 76 243\u2013297.","DOI":"10.1016\/j.inffus.2021.05.008"},{"key":"e_1_3_2_1_2_1","volume-title":"International conference on machine learning. PMLR, 22\u201331","author":"Achiam Joshua","year":"2017","unstructured":"Joshua Achiam, David Held, Aviv Tamar, and Pieter Abbeel. 2017. Constrained policy optimization. In International conference on machine learning. PMLR, 22\u201331."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v32i1.11797"},{"key":"e_1_3_2_1_4_1","volume-title":"Florence De Grancey, and Luca Mossina","author":"And\u00e9ol L\u00e9o","year":"2023","unstructured":"L\u00e9o And\u00e9ol, Thomas Fel, Florence De Grancey, and Luca Mossina. 2023. Confident object detection via conformal prediction and conformal risk control: an application to railway signaling. In Conformal and Probabilistic Prediction with Applications. PMLR, 36\u201355."},{"key":"e_1_3_2_1_5_1","unstructured":"Anastasios Angelopoulos Stephen Bates Jitendra Malik and Michael I Jordan. 2020. Uncertainty sets for image classifiers using conformal prediction. arXiv preprint arXiv:2009.14193."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Anastasios N Angelopoulos Stephen Bates et al. 2023. Conformal prediction: a gentle introduction. Foundations and trends\u00ae in machine learning 16 4 494\u2013591.","DOI":"10.1561\/2200000101"},{"key":"e_1_3_2_1_7_1","unstructured":"Anastasios N Angelopoulos Stephen Bates Adam Fisch Lihua Lei and Tal Schuster. 2022. Conformal risk control. arXiv preprint arXiv:2208.02814."},{"key":"e_1_3_2_1_8_1","volume-title":"Autonomous systems for search and rescue","author":"Bahadori Shahram","unstructured":"Shahram Bahadori, Daniele Calisi, Andrea Censi, Alessandro Farinelli, Giorgio Grisetti, Luca Iocchi, Daniele Nardi, and Gian Diego Tipaldi. 2005. Autonomous systems for search and rescue. A Birk, S. Carpin, D. Nardi, Jacoff A., and S. Tadokoro, eds. Rescue Robotics. Springer-Verlag."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA46639.2022.9812431"},{"key":"e_1_3_2_1_10_1","first-page":"679","article-title":"A markovian decision process","author":"Bellman Richard","year":"1957","unstructured":"Richard Bellman. 1957. A markovian decision process. Journal of mathematics and mechanics, 679\u2013684.","journal-title":"Journal of mathematics and mechanics"},{"key":"e_1_3_2_1_11_1","unstructured":"Felix Berkenkamp Matteo Turchetta Angela Schoellig and Andreas Krause. 2017. Safe model-based reinforcement learning with stability guarantees. Advances in neural information processing systems 30."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v38i19.30084"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Daniel Bethell Simos Gerasimou Radu Calinescu and Calum Imrie. 2024. Safe reinforcement learning in black-box environments via adaptive shielding. arXiv preprint arXiv:2405.18180.","DOI":"10.3233\/FAIA251092"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v37i12.26723"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.eng.2021.10.007"},{"key":"e_1_3_2_1_16_1","unstructured":"Yinlam Chow Ofir Nachum Edgar Duenez-Guzman and Mohammad Ghavamzadeh. 2018. A lyapunov-based approach to safe reinforcement learning. Advances in neural information processing systems 31."},{"key":"e_1_3_2_1_17_1","unstructured":"Gal Dalal Krishnamurthy Dvijotham Matej Vecerik Todd Hester Cosmin Paduraru and Yuval Tassa. 2018. Safe exploration in continuous action spaces. arXiv preprint arXiv:1801.08757."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.asr.2020.10.043"},{"key":"e_1_3_2_1_19_1","volume-title":"Joshua Ransiek, and S\u00f6ren Hohmann.","author":"Fl\u00f6gel Daniel","year":"2024","unstructured":"Daniel Fl\u00f6gel, Marcos G\u00f3mez Villafane, Joshua Ransiek, and S\u00f6ren Hohmann. 2024. Disentangling uncertainty for safe social navigation using deep reinforcement learning. arXiv preprint arXiv:2409.10655."},{"key":"e_1_3_2_1_20_1","volume-title":"international conference on machine learning. PMLR, 1050\u20131059","author":"Gal Yarin","year":"2016","unstructured":"Yarin Gal and Zoubin Ghahramani. 2016. Dropout as a bayesian approximation: representing model uncertainty in deep learning. In international conference on machine learning. PMLR, 1050\u20131059."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/3099862"},{"key":"e_1_3_2_1_22_1","volume-title":"Case Studies in Applied Bayesian Data Science: CIRM Jean-Morlet Chair","author":"Goan Ethan","year":"2018","unstructured":"Ethan Goan and Clinton Fookes. 2020. Bayesian neural networks: an introduction and survey. In Case Studies in Applied Bayesian Data Science: CIRM Jean-Morlet Chair, Fall 2018. Springer, 45\u201387."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2017.04.004"},{"key":"e_1_3_2_1_24_1","unstructured":"Alex Kendall Vijay Badrinarayanan and Roberto Cipolla. 2015. Bayesian seg-net: model uncertainty in deep convolutional encoder-decoder architectures for scene understanding. arXiv preprint arXiv:1511.02680."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA57147.2024.10610041"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/USYS.2016.7893928"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPRW63382.2024.00361"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-14835-4_20"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.3389\/frobt.2023.1223946"},{"key":"e_1_3_2_1_30_1","unstructured":"Yaniv Romano Evan Patterson and Emmanuel Candes. 2019. Conformalized quantile regression. Advances in neural information processing systems 32."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24574-4_28"},{"key":"e_1_3_2_1_32_1","first-page":"3","article-title":"A tutorial on conformal prediction","volume":"9","author":"Shafer Glenn","year":"2008","unstructured":"Glenn Shafer and Vladimir Vovk. 2008. A tutorial on conformal prediction. Journal of Machine Learning Research, 9, 3.","journal-title":"Journal of Machine Learning Research"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.icarus.2018.06.022"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/3312046"},{"key":"e_1_3_2_1_35_1","volume-title":"European Conference on Computer Vision. Springer, 363\u2013398","author":"Timans Alexander","year":"2024","unstructured":"Alexander Timans, Christoph-Nikolas Straehle, Kaspar Sakmann, and Eric Nalisnick. 2024. Adaptive bounding box uncertainties via two-step conformal prediction. In European Conference on Computer Vision. Springer, 363\u2013398."},{"key":"e_1_3_2_1_36_1","unstructured":"Akifumi Wachi Xun Shen and Yanan Sui. 2024. A survey of constraint formulations in safe reinforcement learning. arXiv preprint arXiv:2402.02025."},{"key":"e_1_3_2_1_37_1","article-title":"State-wise constrained policy optimization","author":"Zhao Weiye","year":"2023","unstructured":"Weiye Zhao, Rui Chen, Yifan Sun, Feihan Li, Tianhao Wei, and Changliu Liu. 2023. State-wise constrained policy optimization. Transactions on Machine Learning Research.","journal-title":"Transactions on Machine Learning Research."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3317640.3317652"}],"event":{"name":"SAC '26: 41st ACM\/SIGAPP Symposium on Applied Computing","location":"Grand Hotel Palace Thessaloniki Greece","acronym":"SAC '26","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 41st ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3748522.3779888","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T14:40:35Z","timestamp":1781016035000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3748522.3779888"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,23]]},"references-count":38,"alternative-id":["10.1145\/3748522.3779888","10.1145\/3748522"],"URL":"https:\/\/doi.org\/10.1145\/3748522.3779888","relation":{},"subject":[],"published":{"date-parts":[[2026,3,23]]},"assertion":[{"value":"2026-06-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}