Thomas A. Henzinger

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

2025-06-16T14:34:24+00:00 ― 6 min read

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

2025-03-03T04:08:24+00:00 ― 5 min read

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

2025-02-24T15:39:09+00:00 ― 6 min read

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

2025-02-03T08:40:12+00:00 ― 4 min read