Roberto Sebastiani

Ein neuer Ansatz, um sicherzustellen, dass KI-Systeme zuverlässig und sicher sind.

2025-09-10T05:53:24+00:00 ― 6 min Lesedauer

Eine neue Methode zur Anwendung von Entscheidungsdiagrammen auf Satisfiability Modulo Theories.

2025-08-16T09:34:18+00:00 ― 7 min Lesedauer