Learn Before
Relation

Engineering Deterministic Runtimes and Verification for Autonomous Agents @ University of Michigan - Ann Arbor

Learners examine the critical operational failure modes of autonomous agents, focusing on control-signal dilution and mutable-state ambiguity during long-horizon tasks. You will develop rigorous verification typologies and formal transition protocols to establish enforceable runtime contracts and reliable phase boundaries. Additionally, you will master per-run state persistence, recovery workflows, and automated stop hooks to engineer resilient, deterministic agent harnesses.

0

1

Updated 2026-09-23

Tags

Prep Sessions

Related