Forschung
AutoSpec: Automatisierte Verfeinerung von Logik‑Spezifikationen für RL
In einer neuen Veröffentlichung auf arXiv wird AutoSpec vorgestellt, ein automatisiertes Framework, das grobe logische Spezifikationen für…
arXiv – cs.AI