Luca Bortolussi

Eine neue Methode, um zeitliche Logik in KI-Systeme zu integrieren.

Eine Methode, um Sicherheitsanforderungen aus Verhaltensdaten des Systems abzuleiten.

Sicherstellen, dass AI-Erklärungen klar und zuverlässig sind, damit die Nutzer Vertrauen haben.

Lern, wie Transformatoren Daten verarbeiten und sich neuen Aufgaben anpassen.

Die Kombination fortschrittlicher Techniken macht das Design von analogen Schaltungen effizienter.