Lead story
Models & availability
Latest
Lead story
Models & availability
Latest
Amazon announced an expansion of the Policy Authoring capability in Amazon Bedrock AgentCore, which now allows users to convert natural language policy documents into Dogwood formal specifications that enforce temporal and trajectory constraints, integrate with Amazon Bedrock Guardrails, and restrict tool input parameters.
From the source
As part of this new launch, we expand the capabilities of Policy Authoring, an AI-driven tool to convert natural language policy specification documents into syntactically and semantically correct Dogwood formal specifications.
aws.amazon.com