External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Explanations for Unrealizability of Infinite-State Safety Shields

Andoni Rodríguez, Irfansha Shaik, Davide Corsi, Roy Fox, César Sánchez 0001. Explanations for Unrealizability of Infinite-State Safety Shields. In Magdalena Ortiz 0001, Renata Wassermann, Torsten Schaub, editors, Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, KR 2025, Melbourne, Australia, November 1-17, 2025. 2025. [doi]

Authors

Andoni Rodríguez

This author has not been identified. Look up 'Andoni Rodríguez' in Google

Irfansha Shaik

This author has not been identified. Look up 'Irfansha Shaik' in Google

Davide Corsi

This author has not been identified. Look up 'Davide Corsi' in Google

Roy Fox

This author has not been identified. Look up 'Roy Fox' in Google

César Sánchez 0001

This author has not been identified. Look up 'César Sánchez 0001' in Google
runs on