{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:MHN2LJ3M3D5TYSVGTVFQB7I3D3","short_pith_number":"pith:MHN2LJ3M","canonical_record":{"source":{"id":"2510.06970","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-10-08T12:56:31Z","cross_cats_sorted":["cs.LG","cs.SY"],"title_canon_sha256":"c5a40738f78137f791da023fccae7790259b1fea99a71e3f83ddad5fbf6b2acc","abstract_canon_sha256":"f6b7e4215d65590e674f04c9eb99b6f967246e0b1591da444cec809d8f98d931"},"schema_version":"1.0"},"canonical_sha256":"61dba5a76cd8fb3c4aa69d4b00fd1b1ec14e6fac6dfe1573f3cfc3d296b6e4c8","source":{"kind":"arxiv","id":"2510.06970","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2510.06970","created_at":"2026-05-28T02:04:43Z"},{"alias_kind":"arxiv_version","alias_value":"2510.06970v2","created_at":"2026-05-28T02:04:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2510.06970","created_at":"2026-05-28T02:04:43Z"},{"alias_kind":"pith_short_12","alias_value":"MHN2LJ3M3D5T","created_at":"2026-05-28T02:04:43Z"},{"alias_kind":"pith_short_16","alias_value":"MHN2LJ3M3D5TYSVG","created_at":"2026-05-28T02:04:43Z"},{"alias_kind":"pith_short_8","alias_value":"MHN2LJ3M","created_at":"2026-05-28T02:04:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:MHN2LJ3M3D5TYSVGTVFQB7I3D3","target":"record","payload":{"canonical_record":{"source":{"id":"2510.06970","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-10-08T12:56:31Z","cross_cats_sorted":["cs.LG","cs.SY"],"title_canon_sha256":"c5a40738f78137f791da023fccae7790259b1fea99a71e3f83ddad5fbf6b2acc","abstract_canon_sha256":"f6b7e4215d65590e674f04c9eb99b6f967246e0b1591da444cec809d8f98d931"},"schema_version":"1.0"},"canonical_sha256":"61dba5a76cd8fb3c4aa69d4b00fd1b1ec14e6fac6dfe1573f3cfc3d296b6e4c8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-28T02:04:43.342665Z","signature_b64":"PKYOIsF011DpCVZa4G6wdIf+37WxTFdS1FSP6PWEdqo9lTvna4pFOzZe8ns3xe6m6DdgbardKycQZyESaz+cDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"61dba5a76cd8fb3c4aa69d4b00fd1b1ec14e6fac6dfe1573f3cfc3d296b6e4c8","last_reissued_at":"2026-05-28T02:04:43.342157Z","signature_status":"signed_v1","first_computed_at":"2026-05-28T02:04:43.342157Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2510.06970","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-28T02:04:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QMjje/llzKiN8aeYcR7JldhNUtD5fv5g/cxCxfObgIWf45KMIhNcif0roejrdUBOEzJfpyXEcBtr06EFbTg9Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T07:57:46.884222Z"},"content_sha256":"92f38283c1cb3ae46f4f46ee18621e90c92222e01ca2ab782c6983ccc8de882e","schema_version":"1.0","event_id":"sha256:92f38283c1cb3ae46f4f46ee18621e90c92222e01ca2ab782c6983ccc8de882e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:MHN2LJ3M3D5TYSVGTVFQB7I3D3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Falsification-driven reinforcement learning for maritime motion planning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG","cs.SY"],"primary_cat":"eess.SY","authors_text":"Florian Finkeldei, Hanna Krasowski, Marlon M\\\"uller, Matthias Althoff, Murat Arcak","submitted_at":"2025-10-08T12:56:31Z","abstract_excerpt":"Compliance with maritime traffic rules is essential for the safe operation of autonomous vessels, yet training reinforcement learning (RL) agents to adhere to them is challenging. The behavior of RL agents is shaped by the training scenarios they encounter, but creating scenarios that capture the complexity of maritime navigation is non-trivial, and real-world data alone is insufficient. To address this, we propose a falsification-driven RL approach that generates adversarial training scenarios in which the vessel under test violates maritime traffic rules, which are expressed as signal tempor"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2510.06970","kind":"arxiv","version":2},"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/2510.06970/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-28T02:04:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aLDTrpRsZ0aMe3eUSi0CXK8m/yU6ne/9uKPAgCCPFcygSVNE6nPE0mL6mvqsTW9SJkflovNrihCH7X4ktCc3Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T07:57:46.884641Z"},"content_sha256":"1547713372b02baceda285999bc9b5bc8b18d8681b3d42f48ba81d312d6fa1fa","schema_version":"1.0","event_id":"sha256:1547713372b02baceda285999bc9b5bc8b18d8681b3d42f48ba81d312d6fa1fa"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MHN2LJ3M3D5TYSVGTVFQB7I3D3/bundle.json","state_url":"https://pith.science/pith/MHN2LJ3M3D5TYSVGTVFQB7I3D3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MHN2LJ3M3D5TYSVGTVFQB7I3D3/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-12T07:57:46Z","links":{"resolver":"https://pith.science/pith/MHN2LJ3M3D5TYSVGTVFQB7I3D3","bundle":"https://pith.science/pith/MHN2LJ3M3D5TYSVGTVFQB7I3D3/bundle.json","state":"https://pith.science/pith/MHN2LJ3M3D5TYSVGTVFQB7I3D3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MHN2LJ3M3D5TYSVGTVFQB7I3D3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:MHN2LJ3M3D5TYSVGTVFQB7I3D3","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"f6b7e4215d65590e674f04c9eb99b6f967246e0b1591da444cec809d8f98d931","cross_cats_sorted":["cs.LG","cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-10-08T12:56:31Z","title_canon_sha256":"c5a40738f78137f791da023fccae7790259b1fea99a71e3f83ddad5fbf6b2acc"},"schema_version":"1.0","source":{"id":"2510.06970","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2510.06970","created_at":"2026-05-28T02:04:43Z"},{"alias_kind":"arxiv_version","alias_value":"2510.06970v2","created_at":"2026-05-28T02:04:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2510.06970","created_at":"2026-05-28T02:04:43Z"},{"alias_kind":"pith_short_12","alias_value":"MHN2LJ3M3D5T","created_at":"2026-05-28T02:04:43Z"},{"alias_kind":"pith_short_16","alias_value":"MHN2LJ3M3D5TYSVG","created_at":"2026-05-28T02:04:43Z"},{"alias_kind":"pith_short_8","alias_value":"MHN2LJ3M","created_at":"2026-05-28T02:04:43Z"}],"graph_snapshots":[{"event_id":"sha256:1547713372b02baceda285999bc9b5bc8b18d8681b3d42f48ba81d312d6fa1fa","target":"graph","created_at":"2026-05-28T02:04:43Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2510.06970/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Compliance with maritime traffic rules is essential for the safe operation of autonomous vessels, yet training reinforcement learning (RL) agents to adhere to them is challenging. The behavior of RL agents is shaped by the training scenarios they encounter, but creating scenarios that capture the complexity of maritime navigation is non-trivial, and real-world data alone is insufficient. To address this, we propose a falsification-driven RL approach that generates adversarial training scenarios in which the vessel under test violates maritime traffic rules, which are expressed as signal tempor","authors_text":"Florian Finkeldei, Hanna Krasowski, Marlon M\\\"uller, Matthias Althoff, Murat Arcak","cross_cats":["cs.LG","cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-10-08T12:56:31Z","title":"Falsification-driven reinforcement learning for maritime motion planning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2510.06970","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:92f38283c1cb3ae46f4f46ee18621e90c92222e01ca2ab782c6983ccc8de882e","target":"record","created_at":"2026-05-28T02:04:43Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"f6b7e4215d65590e674f04c9eb99b6f967246e0b1591da444cec809d8f98d931","cross_cats_sorted":["cs.LG","cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-10-08T12:56:31Z","title_canon_sha256":"c5a40738f78137f791da023fccae7790259b1fea99a71e3f83ddad5fbf6b2acc"},"schema_version":"1.0","source":{"id":"2510.06970","kind":"arxiv","version":2}},"canonical_sha256":"61dba5a76cd8fb3c4aa69d4b00fd1b1ec14e6fac6dfe1573f3cfc3d296b6e4c8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"61dba5a76cd8fb3c4aa69d4b00fd1b1ec14e6fac6dfe1573f3cfc3d296b6e4c8","first_computed_at":"2026-05-28T02:04:43.342157Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-28T02:04:43.342157Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PKYOIsF011DpCVZa4G6wdIf+37WxTFdS1FSP6PWEdqo9lTvna4pFOzZe8ns3xe6m6DdgbardKycQZyESaz+cDw==","signature_status":"signed_v1","signed_at":"2026-05-28T02:04:43.342665Z","signed_message":"canonical_sha256_bytes"},"source_id":"2510.06970","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:92f38283c1cb3ae46f4f46ee18621e90c92222e01ca2ab782c6983ccc8de882e","sha256:1547713372b02baceda285999bc9b5bc8b18d8681b3d42f48ba81d312d6fa1fa"],"state_sha256":"e2371b9538ee60cc2fdd9b5b054fa774a7ca4be8a0f73510b4c4cbdefba9a85c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b/m0SH9IqIAP4/KwLdbLPe/xUJIA2Ck/gLzWNxnoOpV2/ZoO2QvP0iiRrppsfq0WwAHjxmm1Di6Xd9ci/gocDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-12T07:57:46.886819Z","bundle_sha256":"4f0e6cfd5a16b6684033c06de54c03c7e3c380ef31de579e1cebc2807c053a46"}}