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 Reinforcement‑Learning‑Aufgaben verfeinert. Durch gezielte Erweiterungen und Prä…