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 erfüllen. Die Geschwindigkeit dieses Prozesses hängt stark von den verwendeten…