{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:6XRZDPE2JJAZ57C3D6B7AZNP22","short_pith_number":"pith:6XRZDPE2","canonical_record":{"source":{"id":"2403.15993","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-03-24T03:10:18Z","cross_cats_sorted":[],"title_canon_sha256":"cf0ecb562b35177ba48d74db8eb7188bfdd2cfbc03806e99b6007faaae4bf847","abstract_canon_sha256":"1e49e1a6410aef445eac02acab35af5e1d2c8914731f5d704ec14e6a2c0ac27e"},"schema_version":"1.0"},"canonical_sha256":"f5e391bc9a4a419efc5b1f83f065afd688e41968d6ecee6b755da17633de7d70","source":{"kind":"arxiv","id":"2403.15993","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.15993","created_at":"2026-07-05T09:37:07Z"},{"alias_kind":"arxiv_version","alias_value":"2403.15993v2","created_at":"2026-07-05T09:37:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.15993","created_at":"2026-07-05T09:37:07Z"},{"alias_kind":"pith_short_12","alias_value":"6XRZDPE2JJAZ","created_at":"2026-07-05T09:37:07Z"},{"alias_kind":"pith_short_16","alias_value":"6XRZDPE2JJAZ57C3","created_at":"2026-07-05T09:37:07Z"},{"alias_kind":"pith_short_8","alias_value":"6XRZDPE2","created_at":"2026-07-05T09:37:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:6XRZDPE2JJAZ57C3D6B7AZNP22","target":"record","payload":{"canonical_record":{"source":{"id":"2403.15993","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-03-24T03:10:18Z","cross_cats_sorted":[],"title_canon_sha256":"cf0ecb562b35177ba48d74db8eb7188bfdd2cfbc03806e99b6007faaae4bf847","abstract_canon_sha256":"1e49e1a6410aef445eac02acab35af5e1d2c8914731f5d704ec14e6a2c0ac27e"},"schema_version":"1.0"},"canonical_sha256":"f5e391bc9a4a419efc5b1f83f065afd688e41968d6ecee6b755da17633de7d70","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:37:07.239420Z","signature_b64":"J+ecPw0WrSP9JxHlvN1LkeI4FmqM6FaLpuM+OXkMB9p8DIvNzAXbS6uEodAJUPozgigd00vtieufay9NkrA5BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f5e391bc9a4a419efc5b1f83f065afd688e41968d6ecee6b755da17633de7d70","last_reissued_at":"2026-07-05T09:37:07.238949Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:37:07.238949Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2403.15993","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-07-05T09:37:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rAwSOFdn3lxcfShvndoU9p0UaQqir6A3dV9zXzogvqhZrK0fI2YxYex3EUF0iZP5aIRd+7VHBX1VOid/eqlICw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T17:59:28.202985Z"},"content_sha256":"5950f8388b709062207edf179f8277d039ad526d32f55d530ff8a3c56fee04af","schema_version":"1.0","event_id":"sha256:5950f8388b709062207edf179f8277d039ad526d32f55d530ff8a3c56fee04af"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:6XRZDPE2JJAZ57C3D6B7AZNP22","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Robust-Locomotion-by-Logic: Perturbation-Resilient Bipedal Locomotion via Signal Temporal Logic Guided Model Predictive Control","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Gregory S. Sawicki, Jennifer K. Leestma, Rongming Guo, Ye Zhao, Yipu Chen, Yuntian Zhao, Zhaoyuan Gu","submitted_at":"2024-03-24T03:10:18Z","abstract_excerpt":"This study introduces a robust planning framework that utilizes a model predictive control (MPC) approach, enhanced by incorporating signal temporal logic (STL) specifications. This marks the first-ever study to apply STL-guided trajectory optimization for bipedal locomotion, specifically designed to handle both translational and orientational perturbations. Existing recovery strategies often struggle with reasoning complex task logic and evaluating locomotion robustness systematically, making them susceptible to failures caused by inappropriate recovery strategies or lack of robustness. To ad"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.15993","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/2403.15993/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:37:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WLXMRu9QoFpsVL4LLUqD+SOn8E3v53MXfa+Gytr0lGzFiibpq5ip3dlVKNvLBtroqEjjxd+lNyzu5eg62/SBDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T17:59:28.203505Z"},"content_sha256":"93880ce8f7d7df3245e064b6cdf34fe2b12ec18f272e17184a41526b2587c4c7","schema_version":"1.0","event_id":"sha256:93880ce8f7d7df3245e064b6cdf34fe2b12ec18f272e17184a41526b2587c4c7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6XRZDPE2JJAZ57C3D6B7AZNP22/bundle.json","state_url":"https://pith.science/pith/6XRZDPE2JJAZ57C3D6B7AZNP22/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6XRZDPE2JJAZ57C3D6B7AZNP22/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:59:28Z","links":{"resolver":"https://pith.science/pith/6XRZDPE2JJAZ57C3D6B7AZNP22","bundle":"https://pith.science/pith/6XRZDPE2JJAZ57C3D6B7AZNP22/bundle.json","state":"https://pith.science/pith/6XRZDPE2JJAZ57C3D6B7AZNP22/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6XRZDPE2JJAZ57C3D6B7AZNP22/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:6XRZDPE2JJAZ57C3D6B7AZNP22","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":"1e49e1a6410aef445eac02acab35af5e1d2c8914731f5d704ec14e6a2c0ac27e","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-03-24T03:10:18Z","title_canon_sha256":"cf0ecb562b35177ba48d74db8eb7188bfdd2cfbc03806e99b6007faaae4bf847"},"schema_version":"1.0","source":{"id":"2403.15993","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.15993","created_at":"2026-07-05T09:37:07Z"},{"alias_kind":"arxiv_version","alias_value":"2403.15993v2","created_at":"2026-07-05T09:37:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.15993","created_at":"2026-07-05T09:37:07Z"},{"alias_kind":"pith_short_12","alias_value":"6XRZDPE2JJAZ","created_at":"2026-07-05T09:37:07Z"},{"alias_kind":"pith_short_16","alias_value":"6XRZDPE2JJAZ57C3","created_at":"2026-07-05T09:37:07Z"},{"alias_kind":"pith_short_8","alias_value":"6XRZDPE2","created_at":"2026-07-05T09:37:07Z"}],"graph_snapshots":[{"event_id":"sha256:93880ce8f7d7df3245e064b6cdf34fe2b12ec18f272e17184a41526b2587c4c7","target":"graph","created_at":"2026-07-05T09:37:07Z","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/2403.15993/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This study introduces a robust planning framework that utilizes a model predictive control (MPC) approach, enhanced by incorporating signal temporal logic (STL) specifications. This marks the first-ever study to apply STL-guided trajectory optimization for bipedal locomotion, specifically designed to handle both translational and orientational perturbations. Existing recovery strategies often struggle with reasoning complex task logic and evaluating locomotion robustness systematically, making them susceptible to failures caused by inappropriate recovery strategies or lack of robustness. To ad","authors_text":"Gregory S. Sawicki, Jennifer K. Leestma, Rongming Guo, Ye Zhao, Yipu Chen, Yuntian Zhao, Zhaoyuan Gu","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-03-24T03:10:18Z","title":"Robust-Locomotion-by-Logic: Perturbation-Resilient Bipedal Locomotion via Signal Temporal Logic Guided Model Predictive Control"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.15993","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:5950f8388b709062207edf179f8277d039ad526d32f55d530ff8a3c56fee04af","target":"record","created_at":"2026-07-05T09:37:07Z","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":"1e49e1a6410aef445eac02acab35af5e1d2c8914731f5d704ec14e6a2c0ac27e","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-03-24T03:10:18Z","title_canon_sha256":"cf0ecb562b35177ba48d74db8eb7188bfdd2cfbc03806e99b6007faaae4bf847"},"schema_version":"1.0","source":{"id":"2403.15993","kind":"arxiv","version":2}},"canonical_sha256":"f5e391bc9a4a419efc5b1f83f065afd688e41968d6ecee6b755da17633de7d70","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f5e391bc9a4a419efc5b1f83f065afd688e41968d6ecee6b755da17633de7d70","first_computed_at":"2026-07-05T09:37:07.238949Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:37:07.238949Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"J+ecPw0WrSP9JxHlvN1LkeI4FmqM6FaLpuM+OXkMB9p8DIvNzAXbS6uEodAJUPozgigd00vtieufay9NkrA5BQ==","signature_status":"signed_v1","signed_at":"2026-07-05T09:37:07.239420Z","signed_message":"canonical_sha256_bytes"},"source_id":"2403.15993","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5950f8388b709062207edf179f8277d039ad526d32f55d530ff8a3c56fee04af","sha256:93880ce8f7d7df3245e064b6cdf34fe2b12ec18f272e17184a41526b2587c4c7"],"state_sha256":"b3a3981b8164581c88cba5269df2e9325528e6d71a0fa178b93aba17fe7c2def"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LkdGz1wHtJD22sGfQh7zYZSb9+Mwfn1r6dSs+81wO765CMk/dU8oJIaM2mO8Vxt/blbIuxO7VSgUIB8drTE2Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T17:59:28.208521Z","bundle_sha256":"183669ed1cca93c567468d368ef743e9676e7990ce6df4abaa71793d28cfede9"}}