{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:XL2Y73HWCV4ZTVRIFKR6RF7573","short_pith_number":"pith:XL2Y73HW","canonical_record":{"source":{"id":"2410.11156","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2024-10-15T00:46:41Z","cross_cats_sorted":["cs.RO"],"title_canon_sha256":"c5d8411d9ff439858f1326e8d155395739144355d9d98adc922b743a39fd1ccc","abstract_canon_sha256":"c689893b11cc906edb49895f1acb246cdfb1da4f127f9526aebb74f6c3083160"},"schema_version":"1.0"},"canonical_sha256":"baf58fecf6157999d6282aa3e897fdfefe5805864037bfd0dd178275f1511cbd","source":{"kind":"arxiv","id":"2410.11156","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.11156","created_at":"2026-07-05T09:20:30Z"},{"alias_kind":"arxiv_version","alias_value":"2410.11156v1","created_at":"2026-07-05T09:20:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.11156","created_at":"2026-07-05T09:20:30Z"},{"alias_kind":"pith_short_12","alias_value":"XL2Y73HWCV4Z","created_at":"2026-07-05T09:20:30Z"},{"alias_kind":"pith_short_16","alias_value":"XL2Y73HWCV4ZTVRI","created_at":"2026-07-05T09:20:30Z"},{"alias_kind":"pith_short_8","alias_value":"XL2Y73HW","created_at":"2026-07-05T09:20:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:XL2Y73HWCV4ZTVRIFKR6RF7573","target":"record","payload":{"canonical_record":{"source":{"id":"2410.11156","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2024-10-15T00:46:41Z","cross_cats_sorted":["cs.RO"],"title_canon_sha256":"c5d8411d9ff439858f1326e8d155395739144355d9d98adc922b743a39fd1ccc","abstract_canon_sha256":"c689893b11cc906edb49895f1acb246cdfb1da4f127f9526aebb74f6c3083160"},"schema_version":"1.0"},"canonical_sha256":"baf58fecf6157999d6282aa3e897fdfefe5805864037bfd0dd178275f1511cbd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:20:30.142126Z","signature_b64":"ayGd0eS9rso2ThiePpYPmDK6PLYSkja156tvqfhIHv1f3LUGmHw8kf9Ufli/h2WP8hHcsoeNgNRvLQTrgV8pCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"baf58fecf6157999d6282aa3e897fdfefe5805864037bfd0dd178275f1511cbd","last_reissued_at":"2026-07-05T09:20:30.141632Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:20:30.141632Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2410.11156","source_version":1,"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-05T09:20:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8Ggr1mKnsHNN2dTKd9dF1Y2tqsObc9+aL+vXCD0dU8B7Le7MLuXPLkqkNBRs43Kw2b96PpPtQB+5R3hEniyyAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T17:15:27.862299Z"},"content_sha256":"5f6e3d2f35dc666e5230c82ba927ebc60c551c802b45fb4d9c03a8c50884f3b1","schema_version":"1.0","event_id":"sha256:5f6e3d2f35dc666e5230c82ba927ebc60c551c802b45fb4d9c03a8c50884f3b1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:XL2Y73HWCV4ZTVRIFKR6RF7573","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Motion Planning for Automata-based Objectives using Efficient Gradient-based Methods","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.RO"],"primary_cat":"cs.FL","authors_text":"Anand Balakrishnan, Jyotirmoy V. Deshmukh, Merve Atasever","submitted_at":"2024-10-15T00:46:41Z","abstract_excerpt":"In recent years, there has been increasing interest in using formal methods-based techniques to safely achieve temporal tasks, such as timed sequence of goals, or patrolling objectives. Such tasks are often expressed in real-time logics such as Signal Temporal Logic (STL), whereby, the logical specification is encoded into an optimization problem. Such approaches usually involve optimizing over the quantitative semantics, or robustness degree, of the logic over bounded horizons: the semantics can be encoded as mixed-integer linear constraints or into smooth approximations of the robustness deg"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.11156","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/2410.11156/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-05T09:20:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"87Ww3eU9JjWY1dnqkhhBukM8eKQa5G5tzU0jLRmGGc47gw7YDi5CQGzVW3Itd3D18mxsrZnek6SaSOFjoEamBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T17:15:27.862879Z"},"content_sha256":"51a7f74c4b62262706cd1173458dfa41a9434e39d62e6639cd635b5a597b2007","schema_version":"1.0","event_id":"sha256:51a7f74c4b62262706cd1173458dfa41a9434e39d62e6639cd635b5a597b2007"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XL2Y73HWCV4ZTVRIFKR6RF7573/bundle.json","state_url":"https://pith.science/pith/XL2Y73HWCV4ZTVRIFKR6RF7573/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XL2Y73HWCV4ZTVRIFKR6RF7573/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-03T17:15:27Z","links":{"resolver":"https://pith.science/pith/XL2Y73HWCV4ZTVRIFKR6RF7573","bundle":"https://pith.science/pith/XL2Y73HWCV4ZTVRIFKR6RF7573/bundle.json","state":"https://pith.science/pith/XL2Y73HWCV4ZTVRIFKR6RF7573/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XL2Y73HWCV4ZTVRIFKR6RF7573/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:XL2Y73HWCV4ZTVRIFKR6RF7573","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":"c689893b11cc906edb49895f1acb246cdfb1da4f127f9526aebb74f6c3083160","cross_cats_sorted":["cs.RO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2024-10-15T00:46:41Z","title_canon_sha256":"c5d8411d9ff439858f1326e8d155395739144355d9d98adc922b743a39fd1ccc"},"schema_version":"1.0","source":{"id":"2410.11156","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.11156","created_at":"2026-07-05T09:20:30Z"},{"alias_kind":"arxiv_version","alias_value":"2410.11156v1","created_at":"2026-07-05T09:20:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.11156","created_at":"2026-07-05T09:20:30Z"},{"alias_kind":"pith_short_12","alias_value":"XL2Y73HWCV4Z","created_at":"2026-07-05T09:20:30Z"},{"alias_kind":"pith_short_16","alias_value":"XL2Y73HWCV4ZTVRI","created_at":"2026-07-05T09:20:30Z"},{"alias_kind":"pith_short_8","alias_value":"XL2Y73HW","created_at":"2026-07-05T09:20:30Z"}],"graph_snapshots":[{"event_id":"sha256:51a7f74c4b62262706cd1173458dfa41a9434e39d62e6639cd635b5a597b2007","target":"graph","created_at":"2026-07-05T09:20:30Z","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/2410.11156/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In recent years, there has been increasing interest in using formal methods-based techniques to safely achieve temporal tasks, such as timed sequence of goals, or patrolling objectives. Such tasks are often expressed in real-time logics such as Signal Temporal Logic (STL), whereby, the logical specification is encoded into an optimization problem. Such approaches usually involve optimizing over the quantitative semantics, or robustness degree, of the logic over bounded horizons: the semantics can be encoded as mixed-integer linear constraints or into smooth approximations of the robustness deg","authors_text":"Anand Balakrishnan, Jyotirmoy V. Deshmukh, Merve Atasever","cross_cats":["cs.RO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2024-10-15T00:46:41Z","title":"Motion Planning for Automata-based Objectives using Efficient Gradient-based Methods"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.11156","kind":"arxiv","version":1},"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:5f6e3d2f35dc666e5230c82ba927ebc60c551c802b45fb4d9c03a8c50884f3b1","target":"record","created_at":"2026-07-05T09:20:30Z","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":"c689893b11cc906edb49895f1acb246cdfb1da4f127f9526aebb74f6c3083160","cross_cats_sorted":["cs.RO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2024-10-15T00:46:41Z","title_canon_sha256":"c5d8411d9ff439858f1326e8d155395739144355d9d98adc922b743a39fd1ccc"},"schema_version":"1.0","source":{"id":"2410.11156","kind":"arxiv","version":1}},"canonical_sha256":"baf58fecf6157999d6282aa3e897fdfefe5805864037bfd0dd178275f1511cbd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"baf58fecf6157999d6282aa3e897fdfefe5805864037bfd0dd178275f1511cbd","first_computed_at":"2026-07-05T09:20:30.141632Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:20:30.141632Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ayGd0eS9rso2ThiePpYPmDK6PLYSkja156tvqfhIHv1f3LUGmHw8kf9Ufli/h2WP8hHcsoeNgNRvLQTrgV8pCg==","signature_status":"signed_v1","signed_at":"2026-07-05T09:20:30.142126Z","signed_message":"canonical_sha256_bytes"},"source_id":"2410.11156","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5f6e3d2f35dc666e5230c82ba927ebc60c551c802b45fb4d9c03a8c50884f3b1","sha256:51a7f74c4b62262706cd1173458dfa41a9434e39d62e6639cd635b5a597b2007"],"state_sha256":"28ed5dd7bd91428cd8b9afbe0592e733f87e501ee2754894fe8b15ca9a97da42"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tpGC0n1j48SCxTUUwpjJCyE0hvvDj7s3M8AlpsXfkDoa3ZUnQid/1QgQywyzAW7JuWfcwsshWHclCSQe5oEUDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T17:15:27.867817Z","bundle_sha256":"5ee11615ea82201db4d9423fe269e72085377dffe49c1453fc70e4212bcaff66"}}