Forschung
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…
arXiv – cs.AI