Thomas A. Henzinger

Nuevos métodos para monitorear sistemas complejos usando transductores de prefijo mejoran la verificación en tiempo real.

Explora las nuevas estrategias en juegos de pujas mejoradas por mecanismos de carga.

Explorando cómo el determinismo histórico y la simulación justa se relacionan en la teoría de autómatas.

Un vistazo a la dominación estratégica y su impacto en los modelos computacionales.

Descubre el papel de QuAK en la evaluación del rendimiento y la seguridad del sistema.

Los escudos de equidad monitorean las decisiones de la IA para promover la igualdad y reducir sesgos.

La monitorización innovadora en tiempo real mejora la seguridad y la estabilidad en drones y barcos.

Descubre cómo la monitorización predictiva mejora la seguridad en coches y robots autónomos.