Falk Howar

Neue Methoden verbessern die Effizienz beim Automata-Lernen für komplexe Systeme.

2025-09-14T10:05:18+00:00 ― 5 min Lesedauer

Methoden zur Überprüfung von Quanten-Schaltungen sorgen dafür, dass sie richtig und zuverlässig funktionieren.

2025-05-02T13:02:40+00:00 ― 7 min Lesedauer