Automatisierte BDI-Planerstellung mit Alternating-Time Temporal Logic
Ein neues Tool ermöglicht die automatische Erstellung von BDI‑Plänen (Belief‑Desire‑Intention) mithilfe von Alternating‑Time Temporal Logic (ATL). Während herkömmliche Ansätze oft viel manuellen Aufwand erfordern und si…