Thomas A. Henzinger

A new framework to ensure fairness in AI systems while in operation.

New methods for monitoring complex systems using prefix transducers improve real-time verification.

Explore the new strategies in bidding games enhanced by charging mechanisms.

Exploring how history-determinism and fair simulation relate in automata theory.

A look at strategic dominance and its impact on computational models.

Discover the role of QuAK in assessing system performance and safety.

Fairness shields monitor AI decisions to promote equality and reduce bias.

Innovative runtime monitoring enhances safety and stability in drones and ships.

Learn how predictive monitoring enhances safety in self-driving cars and robots.