Alignment Monitoring

Thomas A. Henzinger, Konstantin Kueffner, Vasu Singh +1

Formal verification provides assurances that a probabilistic system satisfies its specification--conditioned on the system model being aligned with reality. We propose alignment mo…