@misc{indiciaea97290cf4c6f,
  title = {Configuration Monitor Synthesis},
  author = {Maximilian A. Köhl and Clemens Dubslaff and Holger Hermanns},
  year = {2024},
  url = {https://arxiv.org/abs/2408.17368},
  note = {Source identifier: 2408.17368}
}