Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study

作者：Elizabeth Dietrich, Hanna Krasowski, Emir Cem Gezer, Roger Skjetne, Asgeir Johan Sørensen, Murat Arcak · 单位：verify when only limited data is available due to real-world, University, wegian University of Science and Technology {emir.cem.gezer, are unavailable, and system behavior can only be observed · 会议/期刊：arXiv preprint · 方向：cs.RO · 发布日期：2026-08-05