Forschung
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 gl…
arXiv – cs.AI