Neue Methode für LTLf-Synthese mit mehreren Eigenschaften
In einer kürzlich veröffentlichten Studie auf arXiv wird ein innovativer Ansatz zur LTLf‑Synthese vorgestellt, der mehrere Eigenschaften gleichzeitig berücksichtigt. Dabei wird das Problem gelöst, dass nicht immer alle…