Causal Past Logic Proposed for Runtime Verification of LLM Agent Workflows

A new arXiv paper addresses how to monitor distributed LLM-agent workflows at runtime, where asynchronous execution means a decision can only rely on events causally visible to the agent making it. The authors introduce a causal past logic that treats events appearing earlier in a log as not necessarily available to every lifeline, and use it as the basis for runtime verification. The work targets correctness checking of multi-agent pipelines as they execute rather than only after the fact.