5 citations · 10 across the 9 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.LO2026
Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
Benedikt Bollig
We study runtime monitoring for distributed LLM-agent workflows. In an asynchronous execution, a decision can only depend on events that are causally visible to the lifeline that m…
cs.LO2026
Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)
Benedikt Bollig
Runtime verification is a lightweight verification technique that complements model checking by analyzing system executions at runtime rather than exploring a complete system model…
cs.LO2026
Verification of Neural Networks (Lecture Notes)
Benedikt Bollig
These lecture notes provide an introduction to the verification of neural networks from a theoretical perspective. We discuss feed-forward neural networks, recurrent neural network…