Signal-Temporale Logik bleibt zuverlässig trotz Verteilungssprung
In der dynamischen Systemanalyse gewinnt die Signal-Temporale Logik (STL) zunehmend an Bedeutung, weil sie verständliche logische Regeln für zeitliche Verhaltensmuster liefert. Doch bisherige Lernverfahren setzen voraus…