{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:QOPIQMTKDIEDO7CBE6PARW2X44","short_pith_number":"pith:QOPIQMTK","canonical_record":{"source":{"id":"2210.01162","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2022-10-03T18:32:20Z","cross_cats_sorted":["cs.AI","cs.FL","cs.LG","math.OC"],"title_canon_sha256":"9f3ff61e7868cc7436de96e43065f6431ad38a2308c2f4b8b8301d41948d0d3d","abstract_canon_sha256":"d810025bcaa7a2776aefb04c1f964532b11cf97bcc90a4ffa553c16fa6bc3786"},"schema_version":"1.0"},"canonical_sha256":"839e88326a1a08377c41279e08db57e713a6b955db9b97e23d2ec41ab7ad3476","source":{"kind":"arxiv","id":"2210.01162","version":5},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2210.01162","created_at":"2026-07-05T05:51:42Z"},{"alias_kind":"arxiv_version","alias_value":"2210.01162v5","created_at":"2026-07-05T05:51:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.01162","created_at":"2026-07-05T05:51:42Z"},{"alias_kind":"pith_short_12","alias_value":"QOPIQMTKDIED","created_at":"2026-07-05T05:51:42Z"},{"alias_kind":"pith_short_16","alias_value":"QOPIQMTKDIEDO7CB","created_at":"2026-07-05T05:51:42Z"},{"alias_kind":"pith_short_8","alias_value":"QOPIQMTK","created_at":"2026-07-05T05:51:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:QOPIQMTKDIEDO7CBE6PARW2X44","target":"record","payload":{"canonical_record":{"source":{"id":"2210.01162","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2022-10-03T18:32:20Z","cross_cats_sorted":["cs.AI","cs.FL","cs.LG","math.OC"],"title_canon_sha256":"9f3ff61e7868cc7436de96e43065f6431ad38a2308c2f4b8b8301d41948d0d3d","abstract_canon_sha256":"d810025bcaa7a2776aefb04c1f964532b11cf97bcc90a4ffa553c16fa6bc3786"},"schema_version":"1.0"},"canonical_sha256":"839e88326a1a08377c41279e08db57e713a6b955db9b97e23d2ec41ab7ad3476","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:51:42.082643Z","signature_b64":"ZUwzht8OO/5oi51gQ2ejiUDRfUBAHTFycYJRU7YRCMnF01Ucg9jHkEJDR16fbnVt6399c6daBvVKStyThD6eDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"839e88326a1a08377c41279e08db57e713a6b955db9b97e23d2ec41ab7ad3476","last_reissued_at":"2026-07-05T05:51:42.082207Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:51:42.082207Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2210.01162","source_version":5,"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-07-05T05:51:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LHVp3LEVzQXcs/8NGP6oeAFL6ebCzHrP2bBXFyo65en9cbXfNDzxO23M1IVUF8is8IDRREqMEUB0p+X1yb8wCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T13:36:07.315719Z"},"content_sha256":"9d8db20d8d49ad5062e5b648d37a44931237acaa6f2c23e45a0930b5aa9a122a","schema_version":"1.0","event_id":"sha256:9d8db20d8d49ad5062e5b648d37a44931237acaa6f2c23e45a0930b5aa9a122a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:QOPIQMTKDIEDO7CBE6PARW2X44","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.FL","cs.LG","math.OC"],"primary_cat":"cs.RO","authors_text":"Cristian-Ioan Vasile, Kevin Leahy, Makai Mann, Mingyu Cai, Zachary Serlin","submitted_at":"2022-10-03T18:32:20Z","abstract_excerpt":"This paper explores continuous-time control synthesis for target-driven navigation to satisfy complex high-level tasks expressed as linear temporal logic (LTL). We propose a model-free framework using deep reinforcement learning (DRL) where the underlying dynamic system is unknown (an opaque box). Unlike prior work, this paper considers scenarios where the given LTL specification might be infeasible and therefore cannot be accomplished globally. Instead of modifying the given LTL formula, we provide a general DRL-based approach to satisfy it with minimal violation. To do this, we transform a p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2210.01162","kind":"arxiv","version":5},"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/2210.01162/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-07-05T05:51:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QKrviNLY1A/Lv4otukbJQHTgSc8CgJisDMTqfGK6U+2/6zXNBybahASZb4kuXzUlzDb20dYSNyy7n1LIvAOcCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T13:36:07.316787Z"},"content_sha256":"d93ff111d8a31e20a00a6831006b22349cc5f053c1883ee80631c5395f9d9f12","schema_version":"1.0","event_id":"sha256:d93ff111d8a31e20a00a6831006b22349cc5f053c1883ee80631c5395f9d9f12"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QOPIQMTKDIEDO7CBE6PARW2X44/bundle.json","state_url":"https://pith.science/pith/QOPIQMTKDIEDO7CBE6PARW2X44/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QOPIQMTKDIEDO7CBE6PARW2X44/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-08-17T13:36:07Z","links":{"resolver":"https://pith.science/pith/QOPIQMTKDIEDO7CBE6PARW2X44","bundle":"https://pith.science/pith/QOPIQMTKDIEDO7CBE6PARW2X44/bundle.json","state":"https://pith.science/pith/QOPIQMTKDIEDO7CBE6PARW2X44/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QOPIQMTKDIEDO7CBE6PARW2X44/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:QOPIQMTKDIEDO7CBE6PARW2X44","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":"d810025bcaa7a2776aefb04c1f964532b11cf97bcc90a4ffa553c16fa6bc3786","cross_cats_sorted":["cs.AI","cs.FL","cs.LG","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2022-10-03T18:32:20Z","title_canon_sha256":"9f3ff61e7868cc7436de96e43065f6431ad38a2308c2f4b8b8301d41948d0d3d"},"schema_version":"1.0","source":{"id":"2210.01162","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2210.01162","created_at":"2026-07-05T05:51:42Z"},{"alias_kind":"arxiv_version","alias_value":"2210.01162v5","created_at":"2026-07-05T05:51:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.01162","created_at":"2026-07-05T05:51:42Z"},{"alias_kind":"pith_short_12","alias_value":"QOPIQMTKDIED","created_at":"2026-07-05T05:51:42Z"},{"alias_kind":"pith_short_16","alias_value":"QOPIQMTKDIEDO7CB","created_at":"2026-07-05T05:51:42Z"},{"alias_kind":"pith_short_8","alias_value":"QOPIQMTK","created_at":"2026-07-05T05:51:42Z"}],"graph_snapshots":[{"event_id":"sha256:d93ff111d8a31e20a00a6831006b22349cc5f053c1883ee80631c5395f9d9f12","target":"graph","created_at":"2026-07-05T05:51:42Z","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/2210.01162/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper explores continuous-time control synthesis for target-driven navigation to satisfy complex high-level tasks expressed as linear temporal logic (LTL). We propose a model-free framework using deep reinforcement learning (DRL) where the underlying dynamic system is unknown (an opaque box). Unlike prior work, this paper considers scenarios where the given LTL specification might be infeasible and therefore cannot be accomplished globally. Instead of modifying the given LTL formula, we provide a general DRL-based approach to satisfy it with minimal violation. To do this, we transform a p","authors_text":"Cristian-Ioan Vasile, Kevin Leahy, Makai Mann, Mingyu Cai, Zachary Serlin","cross_cats":["cs.AI","cs.FL","cs.LG","math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2022-10-03T18:32:20Z","title":"Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2210.01162","kind":"arxiv","version":5},"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:9d8db20d8d49ad5062e5b648d37a44931237acaa6f2c23e45a0930b5aa9a122a","target":"record","created_at":"2026-07-05T05:51:42Z","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":"d810025bcaa7a2776aefb04c1f964532b11cf97bcc90a4ffa553c16fa6bc3786","cross_cats_sorted":["cs.AI","cs.FL","cs.LG","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2022-10-03T18:32:20Z","title_canon_sha256":"9f3ff61e7868cc7436de96e43065f6431ad38a2308c2f4b8b8301d41948d0d3d"},"schema_version":"1.0","source":{"id":"2210.01162","kind":"arxiv","version":5}},"canonical_sha256":"839e88326a1a08377c41279e08db57e713a6b955db9b97e23d2ec41ab7ad3476","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"839e88326a1a08377c41279e08db57e713a6b955db9b97e23d2ec41ab7ad3476","first_computed_at":"2026-07-05T05:51:42.082207Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:51:42.082207Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZUwzht8OO/5oi51gQ2ejiUDRfUBAHTFycYJRU7YRCMnF01Ucg9jHkEJDR16fbnVt6399c6daBvVKStyThD6eDg==","signature_status":"signed_v1","signed_at":"2026-07-05T05:51:42.082643Z","signed_message":"canonical_sha256_bytes"},"source_id":"2210.01162","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9d8db20d8d49ad5062e5b648d37a44931237acaa6f2c23e45a0930b5aa9a122a","sha256:d93ff111d8a31e20a00a6831006b22349cc5f053c1883ee80631c5395f9d9f12"],"state_sha256":"b71e1f42712c3216e486fc826d35721678b8855875dfac22e9209cece99c9ddd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OlrYZr822+vTb/68x3m+J7CeJVG6Vn92dp0mLGCiZcAgaApfa2r9j2PivZWXvaiy5w7wL9fn9bCCLSi60uSdDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-17T13:36:07.335460Z","bundle_sha256":"17e62e3274ae4486b495a1a8db4cbf04323f260537c037208b4e3013e8c3af3f"}}