{"type": "article", "title": "DogWood: Monitoring Policies using First Order Temporal Logic", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/dogwood-monitoring-policies-using-first-order-temporal-logic", "original_source": "https://aws.amazon.com/blogs/opensource/introducing-dogwood-runtime-verification-for-ai-agents/", "published": "2026-09-28T04:36:20+00:00", "accessed": "2026-09-28", "id": "dogwood-monitoring-policies-using-first-order-temporal-logic"}