KR2025Proceedings of the 22nd International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning

Melbourne, Australia. November 11-17, 2025.

Edited by
  1. Magdalena Ortiz
  2. Renata Wassermann
  3. Torsten Schaub

ISSN: 2334-1033
ISBN: 978-1-956792-08-9

Sponsored by
Published by

Copyright © 2025 International Joint Conferences on Artificial Intelligence Organization

Explanations for Unrealizability of Infinite-State Safety Shields

  1. Andoni Rodríguez(IMDEA Software Institute, Universidad Politécnica de Madrid)
  2. Irfansha Shaik(Aarhus Univeristy, Kvantify)
  3. Davide Corsi(University of California, Irvine)
  4. Roy Fox(University of California, Irvine)
  5. César Sánchez(IMDEA Software Institute)

Bibtex record

@inproceedings{KR2025-83,
    title     = {{Explanations for Unrealizability of Infinite-State Safety Shields}},
    author    = {Rodríguez, Andoni and Shaik, Irfansha and Corsi, Davide and Fox, Roy and Sánchez, César},
    booktitle = {{Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {858--868},
    year      = {2025},
    month     = {10},
    doi       = {10.24963/kr.2025/83},
    url       = {https://doi.org/10.24963/kr.2025/83},
  }
Go back