Runtime Verification 2026

Tool Paper

FairMon: A Tool for Monitoring and Visualizing Algorithmic Fairness

F. Scheerer, J. Baumeister, B. Finkbeiner, V. Krsmanovic, J. Siber, T. Wagenpfeil

on  Wed, 14:30 ! Livein  Rose Innovation Hubfor  20min

 Overview  Program

Sponsored by:

Formal Methods Europe