TY  - RPRT
TI  - Formal verification for robo-advisors: Irrelevant for subjective end-user trust, yet decisive for investment behavior?
AU  - Alina Tausch
AU  - Magdalena Wischnewski
AU  - Mustafa Yalciner
AU  - Daniel Neider
PY  - 2025
UR  - https://arxiv.org/abs/2509.08540
ID  - 2509.08540
ER  -