@misc{indiciae9514fb5c5a64,
  title = {Formal verification for robo-advisors: Irrelevant for subjective end-user trust, yet decisive for investment behavior?},
  author = {Alina Tausch and Magdalena Wischnewski and Mustafa Yalciner and Daniel Neider},
  year = {2025},
  url = {https://arxiv.org/abs/2509.08540},
  note = {Source identifier: 2509.08540}
}