---
res:
  bibo_abstract:
  - Formal verification provides assurances that a probabilistic system satisfies
    its specification—conditioned on the system model being aligned with reality.
    We propose alignment monitoring to watch that this assumption is justified. We
    consider a probabilistic model well aligned if it accurately predicts the behaviour
    of an uncertain system in advance. An alignment score measures this by quantifying
    the similarity between the model’s predicted and the system’s (unknown) actual
    distributions. An alignment monitor observes the system at runtime; at each point
    in time it uses the current state and the model to predict the next state. After
    the next state is observed, the monitor updates the verdict, which is a high-probability
    interval estimate for the true alignment score. We utilize tools from sequential
    forecasting to construct our alignment monitors. Besides a monitor for measuring
    the expected alignment score, we introduce a differential alignment monitor, designed
    for comparing two models, and a weighted alignment monitor, which permits task-specific
    alignment monitoring. We evaluate our monitors experimentally on the PRISM benchmark
    suite. They are fast, memory-efficient, and detect misalignment early.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Thomas A
      foaf_name: Henzinger, Thomas A
      foaf_surname: Henzinger
      foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0002-2985-7724
  - foaf_Person:
      foaf_givenName: Konstantin
      foaf_name: Kueffner, Konstantin
      foaf_surname: Kueffner
      foaf_workInfoHomepage: http://www.librecat.org/personId=8121a2d0-dc85-11ea-9058-af578f3b4515
    orcid: 0000-0001-8974-2542
  - foaf_Person:
      foaf_givenName: Vasu
      foaf_name: Singh, Vasu
      foaf_surname: Singh
      foaf_workInfoHomepage: http://www.librecat.org/personId=4DAE2708-F248-11E8-B48F-1D18A9856A87
  - foaf_Person:
      foaf_givenName: I
      foaf_name: Sun, I
      foaf_surname: Sun
  bibo_doi: 10.1007/978-3-032-05435-7_9
  bibo_volume: 16087
  dct_date: 2025^xs_gYear
  dct_isPartOf:
  - http://id.crossref.org/issn/0302-9743
  - http://id.crossref.org/issn/1611-3349
  dct_language: eng
  dct_publisher: Springer Nature@
  dct_title: Alignment monitoring@
...