@misc{indiciae257e632b3883, title = {Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows}, author = {Benedikt Bollig}, year = {2026}, url = {https://arxiv.org/abs/2605.20923}, note = {Source identifier: 2605.20923} }