From Probabilistic to Provable: Deploying AI Agents You Can Trust presented by Erin Kraemer, AWS

As AI agents gain autonomy, governance becomes the central challenge: how do you give agents enough freedom to be useful while ensuring they stay within the right boundaries? Too much constraint defeats the purpose; too little creates unacceptable risk. Most approaches address governance, safety, and security as separate disciplines. They aren't. They require one enforcement layer that can observe every action, enforce constraints deterministically, and intervene when something goes wrong. This talk covers what it takes to govern autonomous agents at production scale and how neurosymbolic AI raises the bar, pairing the creative power of LLMs with the rigor of mathematical logic to deliver provable guarantees about agent behavior. The result: organizations can confidently move faster because correctness is proven, not assumed