{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:JH7YZMEKFJWOLDPSLBD4B55NYG","short_pith_number":"pith:JH7YZMEK","canonical_record":{"source":{"id":"1803.11247","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.RO","submitted_at":"2018-03-29T20:44:55Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"754b3dc158a6bd7574ed00426a1a863256340185e6d15717ab11923550f77165","abstract_canon_sha256":"a7228e8d708cb41df932ae3670c3cf56fff45401cd25428d249d6665676feeda"},"schema_version":"1.0"},"canonical_sha256":"49ff8cb08a2a6ce58df25847c0f7adc19b94f423ca0989a3abd59a359ed9e619","source":{"kind":"arxiv","id":"1803.11247","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.11247","created_at":"2026-05-18T00:02:45Z"},{"alias_kind":"arxiv_version","alias_value":"1803.11247v2","created_at":"2026-05-18T00:02:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.11247","created_at":"2026-05-18T00:02:45Z"},{"alias_kind":"pith_short_12","alias_value":"JH7YZMEKFJWO","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_16","alias_value":"JH7YZMEKFJWOLDPS","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_8","alias_value":"JH7YZMEK","created_at":"2026-05-18T12:32:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:JH7YZMEKFJWOLDPSLBD4B55NYG","target":"record","payload":{"canonical_record":{"source":{"id":"1803.11247","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.RO","submitted_at":"2018-03-29T20:44:55Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"754b3dc158a6bd7574ed00426a1a863256340185e6d15717ab11923550f77165","abstract_canon_sha256":"a7228e8d708cb41df932ae3670c3cf56fff45401cd25428d249d6665676feeda"},"schema_version":"1.0"},"canonical_sha256":"49ff8cb08a2a6ce58df25847c0f7adc19b94f423ca0989a3abd59a359ed9e619","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:02:45.072591Z","signature_b64":"qqj96Ba6p18u7ynJRhNLGoztfgfU7UzKGthTqNIayNcpMxebAr+tBZmRNu++V+tR2RvOlbgTECJ+4gDvYq3cAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"49ff8cb08a2a6ce58df25847c0f7adc19b94f423ca0989a3abd59a359ed9e619","last_reissued_at":"2026-05-18T00:02:45.072194Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:02:45.072194Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1803.11247","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-05-18T00:02:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kBUuyCtuuU269t0g7rORe1+/oPayB08UJ1+DtdgaWpNFfaIsuFZR3sFkyb4tFb3fcdH+6eX6P5bP4tEDZSSPDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T10:11:19.206273Z"},"content_sha256":"f0bbfda188c79ffc4c40d1060423b6ff5e8db037bdaa0af55386a68b58b7e752","schema_version":"1.0","event_id":"sha256:f0bbfda188c79ffc4c40d1060423b6ff5e8db037bdaa0af55386a68b58b7e752"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:JH7YZMEKFJWOLDPSLBD4B55NYG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Scalable Integrated Task and Motion Planning from Signal Temporal Logic Specifications","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"cs.RO","authors_text":"Hai Lin, Rafael Rodrigues da Silva","submitted_at":"2018-03-29T20:44:55Z","abstract_excerpt":"Many safety-critical systems must achieve high-level task specifications with guaranteed safety and correctness. Much recent progress towards this goal has been made through controller synthesis from signal temporal logic (STL) specifications. Existing approaches, however, either consider some a priori discretization of the state-space, deal only with a convex fragment of STL, or are not provably complete. We propose a scalable, provably complete algorithm that directly synthesizes continuous trajectories to satisfy non-convex STL specifications. We separate discrete task planning and continuo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.11247","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":""},"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-05-18T00:02:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nTSQjww+FX3Ge2EVQOdE7z+GqDH064MaYtBRkq+G1QUc5Lr6J77XiFQscBqcEVn/1GevalGOObWk5vypefS7Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T10:11:19.207007Z"},"content_sha256":"ba3372d1a91353e60d2514bfc3dc1f7332069d7419623960c088db724d160993","schema_version":"1.0","event_id":"sha256:ba3372d1a91353e60d2514bfc3dc1f7332069d7419623960c088db724d160993"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JH7YZMEKFJWOLDPSLBD4B55NYG/bundle.json","state_url":"https://pith.science/pith/JH7YZMEKFJWOLDPSLBD4B55NYG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JH7YZMEKFJWOLDPSLBD4B55NYG/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-06-10T10:11:19Z","links":{"resolver":"https://pith.science/pith/JH7YZMEKFJWOLDPSLBD4B55NYG","bundle":"https://pith.science/pith/JH7YZMEKFJWOLDPSLBD4B55NYG/bundle.json","state":"https://pith.science/pith/JH7YZMEKFJWOLDPSLBD4B55NYG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JH7YZMEKFJWOLDPSLBD4B55NYG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:JH7YZMEKFJWOLDPSLBD4B55NYG","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":"a7228e8d708cb41df932ae3670c3cf56fff45401cd25428d249d6665676feeda","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.RO","submitted_at":"2018-03-29T20:44:55Z","title_canon_sha256":"754b3dc158a6bd7574ed00426a1a863256340185e6d15717ab11923550f77165"},"schema_version":"1.0","source":{"id":"1803.11247","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.11247","created_at":"2026-05-18T00:02:45Z"},{"alias_kind":"arxiv_version","alias_value":"1803.11247v2","created_at":"2026-05-18T00:02:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.11247","created_at":"2026-05-18T00:02:45Z"},{"alias_kind":"pith_short_12","alias_value":"JH7YZMEKFJWO","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_16","alias_value":"JH7YZMEKFJWOLDPS","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_8","alias_value":"JH7YZMEK","created_at":"2026-05-18T12:32:31Z"}],"graph_snapshots":[{"event_id":"sha256:ba3372d1a91353e60d2514bfc3dc1f7332069d7419623960c088db724d160993","target":"graph","created_at":"2026-05-18T00:02:45Z","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"},"paper":{"abstract_excerpt":"Many safety-critical systems must achieve high-level task specifications with guaranteed safety and correctness. Much recent progress towards this goal has been made through controller synthesis from signal temporal logic (STL) specifications. Existing approaches, however, either consider some a priori discretization of the state-space, deal only with a convex fragment of STL, or are not provably complete. We propose a scalable, provably complete algorithm that directly synthesizes continuous trajectories to satisfy non-convex STL specifications. We separate discrete task planning and continuo","authors_text":"Hai Lin, Rafael Rodrigues da Silva","cross_cats":["cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.RO","submitted_at":"2018-03-29T20:44:55Z","title":"Scalable Integrated Task and Motion Planning from Signal Temporal Logic Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.11247","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:f0bbfda188c79ffc4c40d1060423b6ff5e8db037bdaa0af55386a68b58b7e752","target":"record","created_at":"2026-05-18T00:02:45Z","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":"a7228e8d708cb41df932ae3670c3cf56fff45401cd25428d249d6665676feeda","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.RO","submitted_at":"2018-03-29T20:44:55Z","title_canon_sha256":"754b3dc158a6bd7574ed00426a1a863256340185e6d15717ab11923550f77165"},"schema_version":"1.0","source":{"id":"1803.11247","kind":"arxiv","version":2}},"canonical_sha256":"49ff8cb08a2a6ce58df25847c0f7adc19b94f423ca0989a3abd59a359ed9e619","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"49ff8cb08a2a6ce58df25847c0f7adc19b94f423ca0989a3abd59a359ed9e619","first_computed_at":"2026-05-18T00:02:45.072194Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:02:45.072194Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qqj96Ba6p18u7ynJRhNLGoztfgfU7UzKGthTqNIayNcpMxebAr+tBZmRNu++V+tR2RvOlbgTECJ+4gDvYq3cAw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:02:45.072591Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.11247","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f0bbfda188c79ffc4c40d1060423b6ff5e8db037bdaa0af55386a68b58b7e752","sha256:ba3372d1a91353e60d2514bfc3dc1f7332069d7419623960c088db724d160993"],"state_sha256":"2a4a7620d6810d9d683a1da89669a90b721eee135c41d249692f8807882dbd0c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Q8bu4XHC1y+D6F7m3JBHwM4KK59bGqX7hHM0IX2z/0kwYmQ/9kcxXHz0JQ726McZufhn818QCgtInfrtl8MnBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T10:11:19.211048Z","bundle_sha256":"a0820bca4a0b2158ffd9afcdfac198524f5f431bd99b964b4bfd25cc1657152a"}}