{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:MHN2LJ3M3D5TYSVGTVFQB7I3D3","short_pith_number":"pith:MHN2LJ3M","schema_version":"1.0","canonical_sha256":"61dba5a76cd8fb3c4aa69d4b00fd1b1ec14e6fac6dfe1573f3cfc3d296b6e4c8","source":{"kind":"arxiv","id":"2510.06970","version":2},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2510.06970","created_at":"2026-05-28T02:04:43.342216+00:00"},{"alias_kind":"arxiv_version","alias_value":"2510.06970v2","created_at":"2026-05-28T02:04:43.342216+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2510.06970","created_at":"2026-05-28T02:04:43.342216+00:00"},{"alias_kind":"pith_short_12","alias_value":"MHN2LJ3M3D5T","created_at":"2026-05-28T02:04:43.342216+00:00"},{"alias_kind":"pith_short_16","alias_value":"MHN2LJ3M3D5TYSVG","created_at":"2026-05-28T02:04:43.342216+00:00"},{"alias_kind":"pith_short_8","alias_value":"MHN2LJ3M","created_at":"2026-05-28T02:04:43.342216+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/MHN2LJ3M3D5TYSVGTVFQB7I3D3","json":"https://pith.science/pith/MHN2LJ3M3D5TYSVGTVFQB7I3D3.json","graph_json":"https://pith.science/api/pith-number/MHN2LJ3M3D5TYSVGTVFQB7I3D3/graph.json","events_json":"https://pith.science/api/pith-number/MHN2LJ3M3D5TYSVGTVFQB7I3D3/events.json","paper":"https://pith.science/paper/MHN2LJ3M"},"agent_actions":{"view_html":"https://pith.science/pith/MHN2LJ3M3D5TYSVGTVFQB7I3D3","download_json":"https://pith.science/pith/MHN2LJ3M3D5TYSVGTVFQB7I3D3.json","view_paper":"https://pith.science/paper/MHN2LJ3M","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2510.06970&json=true","fetch_graph":"https://pith.science/api/pith-number/MHN2LJ3M3D5TYSVGTVFQB7I3D3/graph.json","fetch_events":"https://pith.science/api/pith-number/MHN2LJ3M3D5TYSVGTVFQB7I3D3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MHN2LJ3M3D5TYSVGTVFQB7I3D3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MHN2LJ3M3D5TYSVGTVFQB7I3D3/action/storage_attestation","attest_author":"https://pith.science/pith/MHN2LJ3M3D5TYSVGTVFQB7I3D3/action/author_attestation","sign_citation":"https://pith.science/pith/MHN2LJ3M3D5TYSVGTVFQB7I3D3/action/citation_signature","submit_replication":"https://pith.science/pith/MHN2LJ3M3D5TYSVGTVFQB7I3D3/action/replication_record"}},"created_at":"2026-05-28T02:04:43.342216+00:00","updated_at":"2026-05-28T02:04:43.342216+00:00"}