Pipeline for neuro-symbolic NatATL strategy synthesis.
Abstract
Pipeline for synthesis of multi agent system constrained by a NatATL formula.
Fields of Study & Subjects
Multi-Agent Systems and Negotiation
Logic
Reasoning
and Knowledge
AI-based Problem Solving and Planning
Publication details
- Journal / source
- Figshare
- Publication date
- 1 January 2026