{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:PD7NYBHDQ2Q4UQBKX6E2K3WDAX","short_pith_number":"pith:PD7NYBHD","schema_version":"1.0","canonical_sha256":"78fedc04e386a1ca402abf89a56ec305f3aaad192dd0003c2efcbdd36860ddda","source":{"kind":"arxiv","id":"2608.02811","version":1},"attestation_state":"computed","paper":{"title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.RO","authors_text":"Asgeir Johan S{\\o}rensen, Elizabeth Dietrich, Emir Cem Gezer, Hanna Krasowski, Murat Arcak, Roger Skjetne","submitted_at":"2026-08-03T19:06:29Z","abstract_excerpt":"Robotic systems must operate under uncertainty while satisfying complex task and safety specifications. Monitoring such specifications under uncertainty remains challenging, as existing formulations typically require extensive data or explicit uncertainty distributions. In this paper, we propose a real-time monitoring framework that reduces data requirements by leveraging data-driven reachable sets for specification evaluation. We instantiate the framework for maritime navigation, where complex specifications arise from traffic rules. We develop a data-efficient pipeline for constructing reach"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2608.02811","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-08-03T19:06:29Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"ba13fae89a3d26efbdebe51c1bad2fc235bf30f575fe07fbca606268e0159c24","abstract_canon_sha256":"e9c86ebd5c779397a8df58c0d45601f93d11352f97c4bd6505a2e59e126d6028"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-05T00:40:17.141885Z","signature_b64":"z+0iP60YxXK1y9ieSrxdPQ/sXaCiCPEToKsYNhAhPWcmMhkVqmwwA3jknTzB+VpMXSj14gd+oRfttKlcuw88Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"78fedc04e386a1ca402abf89a56ec305f3aaad192dd0003c2efcbdd36860ddda","last_reissued_at":"2026-08-05T00:40:17.139208Z","signature_status":"signed_v1","first_computed_at":"2026-08-05T00:40:17.139208Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.RO","authors_text":"Asgeir Johan S{\\o}rensen, Elizabeth Dietrich, Emir Cem Gezer, Hanna Krasowski, Murat Arcak, Roger Skjetne","submitted_at":"2026-08-03T19:06:29Z","abstract_excerpt":"Robotic systems must operate under uncertainty while satisfying complex task and safety specifications. Monitoring such specifications under uncertainty remains challenging, as existing formulations typically require extensive data or explicit uncertainty distributions. In this paper, we propose a real-time monitoring framework that reduces data requirements by leveraging data-driven reachable sets for specification evaluation. We instantiate the framework for maritime navigation, where complex specifications arise from traffic rules. We develop a data-efficient pipeline for constructing reach"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.02811","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2608.02811/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2608.02811","created_at":"2026-08-05T00:40:17.140176+00:00"},{"alias_kind":"arxiv_version","alias_value":"2608.02811v1","created_at":"2026-08-05T00:40:17.140176+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.02811","created_at":"2026-08-05T00:40:17.140176+00:00"},{"alias_kind":"pith_short_12","alias_value":"PD7NYBHDQ2Q4","created_at":"2026-08-05T00:40:17.140176+00:00"},{"alias_kind":"pith_short_16","alias_value":"PD7NYBHDQ2Q4UQBK","created_at":"2026-08-05T00:40:17.140176+00:00"},{"alias_kind":"pith_short_8","alias_value":"PD7NYBHD","created_at":"2026-08-05T00:40:17.140176+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/PD7NYBHDQ2Q4UQBKX6E2K3WDAX","json":"https://pith.science/pith/PD7NYBHDQ2Q4UQBKX6E2K3WDAX.json","graph_json":"https://pith.science/api/pith-number/PD7NYBHDQ2Q4UQBKX6E2K3WDAX/graph.json","events_json":"https://pith.science/api/pith-number/PD7NYBHDQ2Q4UQBKX6E2K3WDAX/events.json","paper":"https://pith.science/paper/PD7NYBHD"},"agent_actions":{"view_html":"https://pith.science/pith/PD7NYBHDQ2Q4UQBKX6E2K3WDAX","download_json":"https://pith.science/pith/PD7NYBHDQ2Q4UQBKX6E2K3WDAX.json","view_paper":"https://pith.science/paper/PD7NYBHD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2608.02811&json=true","fetch_graph":"https://pith.science/api/pith-number/PD7NYBHDQ2Q4UQBKX6E2K3WDAX/graph.json","fetch_events":"https://pith.science/api/pith-number/PD7NYBHDQ2Q4UQBKX6E2K3WDAX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PD7NYBHDQ2Q4UQBKX6E2K3WDAX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PD7NYBHDQ2Q4UQBKX6E2K3WDAX/action/storage_attestation","attest_author":"https://pith.science/pith/PD7NYBHDQ2Q4UQBKX6E2K3WDAX/action/author_attestation","sign_citation":"https://pith.science/pith/PD7NYBHDQ2Q4UQBKX6E2K3WDAX/action/citation_signature","submit_replication":"https://pith.science/pith/PD7NYBHDQ2Q4UQBKX6E2K3WDAX/action/replication_record"}},"created_at":"2026-08-05T00:40:17.140176+00:00","updated_at":"2026-08-05T00:40:17.140176+00:00"}