cs.AIMay 24, 2026

Energy Shields for Fairness

Authors: Filip Cano, Thomas A. Henzinger, Konstantin Kueffner

Organizations: Institute of Science and Technology Austria, Klosterneuburg, Austria

Abstract

Runtime fairness is not a one-time constraint but a dynamic property evaluated over a sequence of decisions. To ensure fairness at runtime, it is necessary to account for past decisions, information neglected by conventional, static classifiers. Traditional fairness shields enforce runtime fairness abruptly, by intervening \emph{deterministically} whenever a sequence of decisions violates the target for a running fairness measure. This motivates our \emph{main conceptual contribution: \textbf{energy shields}.} An energy shield is a novel, lightweight, adaptive controller that monitors a sequence of decisions and intervenes \emph{probabilistically} to ensure runtime fairness smoothly, by utilizing physics-inspired energy functions to nudge the sequence toward fairness: the more unfair the decisions, the stronger the nudging force becomes. This makes energy shields the \emph{\textbf{first}} fairness shields to provide both \emph{short-term safety and long-term liveness guarantees}. Safety ensures that the running fairness measure stays within a running target interval with high probability, and liveness ensures that the limit of the fairness measure lies within the limit target interval. Intuitively, the short-term specifies the tolerated fairness values and the long-term specifies the desired fairness values. We also provide a synthesis procedure for constructing the least intrusive energy shield for a given target specification, and demonstrate its efficiency experimentally. We evaluate our energy shields against existing fairness shields through the lens of short- and long-term fairness.

Explore similar work

CardsList
  1. Shielding for Higher-Order Safety

    Aug 4, 2026Filip Cano, Thomas A. Henzinger, Konstantin KueffnerSafety ConstraintsShielding

  2. Shields to Guarantee Probabilistic Safety in MDPs

    May 11, 2026Linus Heck, Filip Macák, Roman Andriushchenko +2ShieldingSafety Constraints