@misc{indiciae9d0e4b1d0b99,
  title = {Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study},
  author = {Elizabeth Dietrich and Hanna Krasowski and Emir Cem Gezer and Roger Skjetne and Asgeir Johan Sørensen and Murat Arcak},
  year = {2026},
  url = {https://arxiv.org/abs/2608.02811},
  note = {Source identifier: 2608.02811}
}