{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:4EQAZYJITWZ3RHBSL5LDCJZMIK","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":"d473e103ccd7d4ee3934f14e0811699013cb34b363fa82ea8e065640aad3f33f","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2026-07-01T04:57:39Z","title_canon_sha256":"8e2efad089ee3a9e29e8c1b365d970be2255cdba27575bb891d12260351aab8f"},"schema_version":"1.0","source":{"id":"2607.00442","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.00442","created_at":"2026-07-02T01:17:43Z"},{"alias_kind":"arxiv_version","alias_value":"2607.00442v1","created_at":"2026-07-02T01:17:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.00442","created_at":"2026-07-02T01:17:43Z"},{"alias_kind":"pith_short_12","alias_value":"4EQAZYJITWZ3","created_at":"2026-07-02T01:17:43Z"},{"alias_kind":"pith_short_16","alias_value":"4EQAZYJITWZ3RHBS","created_at":"2026-07-02T01:17:43Z"},{"alias_kind":"pith_short_8","alias_value":"4EQAZYJI","created_at":"2026-07-02T01:17:43Z"}],"graph_snapshots":[{"event_id":"sha256:25d5357272eeb90c418098f56b275b50b715f3410e7ac5fd7ed052b76d580616","target":"graph","created_at":"2026-07-02T01:17: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/2607.00442/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Reinforcement learning (RL) for quadruped locomotion commonly depends on fixed, hand-crafted, and Markovian reward functions that limit both interpretability of learned policies and lack explicit control over gait behaviors. We introduce a framework where distinct gaits are specified using parameterized constraints expressed in Signal Temporal Logic (STL). These include safety bounds, gait synchronization constraints, command tracking, and actuation bounds. From these specifications, we develop a reward shaping mechanism that provides learning agents a dense, continuous reward landscape that e","authors_text":"Alfredo Reina Corona, Cagan Bakirci, Jyotirmoy V. Deshmukh, Keyan Azbijari, Merve Atasever","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2026-07-01T04:57:39Z","title":"Learning Gait-Aware Quadruped Locomotion with Temporal Logic Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.00442","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:9e997916a8fe66ac1f980b07659ba36dc1c699cf049eb03903c69ab217b27958","target":"record","created_at":"2026-07-02T01:17: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":"d473e103ccd7d4ee3934f14e0811699013cb34b363fa82ea8e065640aad3f33f","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2026-07-01T04:57:39Z","title_canon_sha256":"8e2efad089ee3a9e29e8c1b365d970be2255cdba27575bb891d12260351aab8f"},"schema_version":"1.0","source":{"id":"2607.00442","kind":"arxiv","version":1}},"canonical_sha256":"e1200ce1289db3b89c325f5631272c429b5e768977c6dc096d654b398d900381","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e1200ce1289db3b89c325f5631272c429b5e768977c6dc096d654b398d900381","first_computed_at":"2026-07-02T01:17:43.499970Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-02T01:17:43.499970Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"J52w49WRwRCDOVsCYqBlkzR+mq+pKroSafa1oPo6/P7rdtNLOianxuuI2h4885IFUHnirNyYF06+jJT+H7WOBg==","signature_status":"signed_v1","signed_at":"2026-07-02T01:17:43.500395Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.00442","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9e997916a8fe66ac1f980b07659ba36dc1c699cf049eb03903c69ab217b27958","sha256:25d5357272eeb90c418098f56b275b50b715f3410e7ac5fd7ed052b76d580616"],"state_sha256":"15e6a29b86547fb5951c2c64a29d69042d8e7d2d7d5a58f51ac20bb0c2976551"}