@article{foundationalanalysisofsafetyengineeringr,
  title = {Foundational Analysis of Safety Engineering Requirements (SAFER)},
  author = {Noga Chemo and Yaniv Mordecai and Yoram Reich},
  year = {2026},
  eprint = {2601.06335},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2601.06335},
}