Thomas A. Henzinger

Erkunde die neuen Strategien in Bietspielen, die durch Abrechnungssysteme verbessert wurden.

Untersuchen, wie Geschichtsdeterminismus und faire Simulation in der Automatentheorie zusammenhängen.

Ein Blick auf strategische Dominanz und ihren Einfluss auf computergestützte Modelle.

Entdecke die Rolle von QuAK bei der Bewertung der Systemleistung und Sicherheit.

Fairness-Tools überwachen KI-Entscheidungen, um Gleichheit zu fördern und Vorurteile zu reduzieren.

Innovatives Runtime-Monitoring verbessert die Sicherheit und Stabilität bei Drohnen und Schiffen.

Erfahre, wie prädiktives Monitoring die Sicherheit bei selbstfahrenden Autos und Robotern verbessert.