Learn Before
In StateM, human supervisors must use a separate, proprietary GUI tool to audit runbooks because the control artifact cannot be inspected or edited directly by humans.
0
1
Tags
Prep Sessions
Long-Horizon Agent Reliability: Stateful Scaffolding and Runtime Verification @ University of Michigan - Ann Arbor
Ch.2 Runtime Architecture and Boundary Control - Long-Horizon Agent Reliability: Stateful Scaffolding and Runtime Verification @ University of Michigan - Ann Arbor
StateM Runtime and Runbook Architecture - Long-Horizon Agent Reliability: Stateful Scaffolding and Runtime Verification @ University of Michigan - Ann Arbor
Related
Which set of lifecycle hooks and verification checks is detailed in a StateM runbook YAML specification?
In StateM, human supervisors must use a separate, proprietary GUI tool to audit runbooks because the control artifact cannot be inspected or edited directly by humans.
Through what operational interface does an executing StateM agent inspect its current state, execute transitions, and record dynamic checks in the shared workspace?
Formal Runbook Specification in StateM
Phase-Local Node Architecture in StateM