@misc{indiciaecc9cb8298cd9,
  title = {Formalizing the Safety, Security, and Functional Properties of Agentic AI Systems},
  author = {Edoardo Allegrini and Ananth Shreekumar and Z. Berkay Celik},
  year = {2026},
  url = {https://arxiv.org/abs/2510.14133},
  note = {Source identifier: 2510.14133}
}