@misc{indiciaef09d62b1c4d9,
  title = {Formal Raising: Embedding Verifiable Ethical Properties into the Development of AI},
  author = {Rolf Drechsler and Christina Plump},
  year = {2026},
  url = {https://arxiv.org/abs/2610.25501},
  note = {Source identifier: 2610.25501}
}