Forschung
Graphbasiertes RL steigert Effizienz bei gerichteter Controller‑Synthese
Controller‑Synthese ist ein formaler Ansatz, um automatisch Labeled Transition System‑Controller zu erzeugen, die vorgegebene Eigenschaften…
arXiv – cs.AI