Focused on making agent behavior predictable, explainable and enforceable at runtime.