StateM Agent-Native Runtime Architecture - Engineering State-Bound Execution Runtimes for Autonomous Agents @ University of Michigan - Ann Arbor

Context and Contract Boundaries in Phase Execution - Engineering State-Bound Execution Runtimes for Autonomous Agents @ University of Michigan - Ann Arbor

YAML Runbook Specification and Transition Verification - Engineering State-Bound Execution Runtimes for Autonomous Agents @ University of Michigan - Ann Arbor

University of Michigan - Ann Arbor

Learners will master the engineering principles needed to resolve long-horizon execution failures, epistemic gaps, and compliance breakdowns in autonomous agents without modifying model weights. You will gain hands-on proficiency in designing StateM runtime architectures that enforce strict context-and-contract boundaries across phase transitions. Ultimately, you will acquire the skills to author formal YAML runbook specifications and implement runtime transition verification to guarantee deterministic, reliable agent execution.

Engineering State-Bound Execution Runtimes for Autonomous Agents @ University of Michigan - Ann Arbor

Ch.1 Operational Challenges and Systemic Bottlenecks - Engineering State-Bound Execution Runtimes for Autonomous Agents @ University of Michigan - Ann Arbor

pdf material of the course "Engineering State-Bound Execution Runtimes for Autonomous Agents @ University of Michigan - Ann Arbor".

1-2608.15089v1.pdf

Ch.2 Agent Runtime Design and Execution Framework - Engineering State-Bound Execution Runtimes for Autonomous Agents @ University of Michigan - Ann Arbor

Learn Before

Related

Learn After