@article{DBLP:journals/corr/abs-2506-17275,
  author       = {William Scarbro and
                  Calum Imrie and
                  Sinem Getir Yaman and
                  Kavan Fatehi and
                  Corina S. Pasareanu and
                  Radu Calinescu and
                  Ravi Mangal},
  title        = {Conformal Safety Shielding for Imperfect-Perception Agents},
  journal      = {CoRR},
  volume       = {abs/2506.17275},
  year         = {2025},
  url          = {https://doi.org/10.48550/arXiv.2506.17275},
  doi          = {10.48550/ARXIV.2506.17275},
  eprinttype    = {arXiv},
  eprint       = {2506.17275},
  timestamp    = {Fri, 11 Jul 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2506-17275.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"85hWKwwkz5sBQeX4C","bibbaseid":"scarbro-imrie-yaman-fatehi-pasareanu-calinescu-mangal-conformalsafetyshieldingforimperfectperceptionagents-2025","author_short":["Scarbro, W.","Imrie, C.","Yaman, S. G.","Fatehi, K.","Pasareanu, C. S.","Calinescu, R.","Mangal, R."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["William"],"propositions":[],"lastnames":["Scarbro"],"suffixes":[]},{"firstnames":["Calum"],"propositions":[],"lastnames":["Imrie"],"suffixes":[]},{"firstnames":["Sinem","Getir"],"propositions":[],"lastnames":["Yaman"],"suffixes":[]},{"firstnames":["Kavan"],"propositions":[],"lastnames":["Fatehi"],"suffixes":[]},{"firstnames":["Corina","S."],"propositions":[],"lastnames":["Pasareanu"],"suffixes":[]},{"firstnames":["Radu"],"propositions":[],"lastnames":["Calinescu"],"suffixes":[]},{"firstnames":["Ravi"],"propositions":[],"lastnames":["Mangal"],"suffixes":[]}],"title":"Conformal Safety Shielding for Imperfect-Perception Agents","journal":"CoRR","volume":"abs/2506.17275","year":"2025","url":"https://doi.org/10.48550/arXiv.2506.17275","doi":"10.48550/ARXIV.2506.17275","eprinttype":"arXiv","eprint":"2506.17275","timestamp":"Fri, 11 Jul 2025 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/corr/abs-2506-17275.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-2506-17275,\n author = {William Scarbro and\n Calum Imrie and\n Sinem Getir Yaman and\n Kavan Fatehi and\n Corina S. Pasareanu and\n Radu Calinescu and\n Ravi Mangal},\n title = {Conformal Safety Shielding for Imperfect-Perception Agents},\n journal = {CoRR},\n volume = {abs/2506.17275},\n year = {2025},\n url = {https://doi.org/10.48550/arXiv.2506.17275},\n doi = {10.48550/ARXIV.2506.17275},\n eprinttype = {arXiv},\n eprint = {2506.17275},\n timestamp = {Fri, 11 Jul 2025 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/abs-2506-17275.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Scarbro, W.","Imrie, C.","Yaman, S. G.","Fatehi, K.","Pasareanu, C. S.","Calinescu, R.","Mangal, R."],"key":"DBLP:journals/corr/abs-2506-17275","id":"DBLP:journals/corr/abs-2506-17275","bibbaseid":"scarbro-imrie-yaman-fatehi-pasareanu-calinescu-mangal-conformalsafetyshieldingforimperfectperceptionagents-2025","role":"author","urls":{"Paper":"https://doi.org/10.48550/arXiv.2506.17275"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/202/9527.bib","dataSources":["4pasT285HHqmY5tmG"],"keywords":[],"search_terms":["conformal","safety","shielding","imperfect","perception","agents","scarbro","imrie","yaman","fatehi","pasareanu","calinescu","mangal"],"title":"Conformal Safety Shielding for Imperfect-Perception Agents","year":2025}