Runtime Monitoring of Dynamic Fairness Properties.

Thomas A. Henzinger Mahyar Karimi Konstantin Kueffner Kaushik Mallik

Published in: CoRR (2023)

Keyphrases

dynamic behavior
dynamic environments
dynamically changing
monitoring system
expert systems
decision support
resource allocation
desirable properties