{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:5T6TUWNHVPFK3MUJ4SVAHR76XG","short_pith_number":"pith:5T6TUWNH","canonical_record":{"source":{"id":"1905.03051","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2019-05-08T13:07:57Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"7976b68e82948cab4274fb2a9a7c61b8cceca9baed4e76e9e6dbf750d43012fb","abstract_canon_sha256":"28cff73803ee030f45a29978386bbdeb2d7327f52e8271031d11191f89914f20"},"schema_version":"1.0"},"canonical_sha256":"ecfd3a59a7abcaadb289e4aa03c7feb9b841e17988bd9cba2a5a391a24cdc4e2","source":{"kind":"arxiv","id":"1905.03051","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.03051","created_at":"2026-05-17T23:46:43Z"},{"alias_kind":"arxiv_version","alias_value":"1905.03051v1","created_at":"2026-05-17T23:46:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.03051","created_at":"2026-05-17T23:46:43Z"},{"alias_kind":"pith_short_12","alias_value":"5T6TUWNHVPFK","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"5T6TUWNHVPFK3MUJ","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"5T6TUWNH","created_at":"2026-05-18T12:33:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:5T6TUWNHVPFK3MUJ4SVAHR76XG","target":"record","payload":{"canonical_record":{"source":{"id":"1905.03051","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2019-05-08T13:07:57Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"7976b68e82948cab4274fb2a9a7c61b8cceca9baed4e76e9e6dbf750d43012fb","abstract_canon_sha256":"28cff73803ee030f45a29978386bbdeb2d7327f52e8271031d11191f89914f20"},"schema_version":"1.0"},"canonical_sha256":"ecfd3a59a7abcaadb289e4aa03c7feb9b841e17988bd9cba2a5a391a24cdc4e2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:46:43.020812Z","signature_b64":"xwFqbpuoHELtH0d6iaPD5xV9wA0XxkTBxx4YuxKLjiaO0UPryN4x2BNZtBaKQsjLFLsSe009UpHtRbS4R8R6Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ecfd3a59a7abcaadb289e4aa03c7feb9b841e17988bd9cba2a5a391a24cdc4e2","last_reissued_at":"2026-05-17T23:46:43.020173Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:46:43.020173Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1905.03051","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-05-17T23:46:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"X7l10RAA23njcxXy5EfdWXYHhlyQMDIOoqq410UOkA5a2dqFRd7VkSG8P77G3feBBRI8wyQbQSm0dYcHqoD1AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T13:05:29.719436Z"},"content_sha256":"179479b6f75279f69fd4edf5d1367cff506caba35c3443dcfc3591364198de44","schema_version":"1.0","event_id":"sha256:179479b6f75279f69fd4edf5d1367cff506caba35c3443dcfc3591364198de44"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:5T6TUWNHVPFK3MUJ4SVAHR76XG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Bayesian Optimization for Polynomial Time Probabilistically Complete STL Trajectory Synthesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"cs.RO","authors_text":"Hai Lin, Vince Kurtz","submitted_at":"2019-05-08T13:07:57Z","abstract_excerpt":"In recent years, Signal Temporal Logic (STL) has gained traction as a practical and expressive means of encoding control objectives for robotic and cyber-physical systems. The state-of-the-art in STL trajectory synthesis is to formulate the problem as a Mixed Integer Linear Program (MILP). The MILP approach is sound and complete for bounded specifications, but such strong correctness guarantees come at the price of exponential complexity in the number of predicates and the time bound of the specification. In this work, we propose an alternative synthesis paradigm that relies on Bayesian optimi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.03051","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":""},"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-17T23:46:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"l+nIcEmu19+SS0RQd9RLncxoB4cMazm82IG388clpKtwLd2t3u6xVcA0ALR4LUStMR6SIDE7c/n1gl7+RmckDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T13:05:29.719784Z"},"content_sha256":"c69930106faa0dec561c872f95ea95e2cb6e66dabf7b776a12df040f9ccb8212","schema_version":"1.0","event_id":"sha256:c69930106faa0dec561c872f95ea95e2cb6e66dabf7b776a12df040f9ccb8212"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5T6TUWNHVPFK3MUJ4SVAHR76XG/bundle.json","state_url":"https://pith.science/pith/5T6TUWNHVPFK3MUJ4SVAHR76XG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5T6TUWNHVPFK3MUJ4SVAHR76XG/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-03T13:05:29Z","links":{"resolver":"https://pith.science/pith/5T6TUWNHVPFK3MUJ4SVAHR76XG","bundle":"https://pith.science/pith/5T6TUWNHVPFK3MUJ4SVAHR76XG/bundle.json","state":"https://pith.science/pith/5T6TUWNHVPFK3MUJ4SVAHR76XG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5T6TUWNHVPFK3MUJ4SVAHR76XG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:5T6TUWNHVPFK3MUJ4SVAHR76XG","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":"28cff73803ee030f45a29978386bbdeb2d7327f52e8271031d11191f89914f20","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2019-05-08T13:07:57Z","title_canon_sha256":"7976b68e82948cab4274fb2a9a7c61b8cceca9baed4e76e9e6dbf750d43012fb"},"schema_version":"1.0","source":{"id":"1905.03051","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.03051","created_at":"2026-05-17T23:46:43Z"},{"alias_kind":"arxiv_version","alias_value":"1905.03051v1","created_at":"2026-05-17T23:46:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.03051","created_at":"2026-05-17T23:46:43Z"},{"alias_kind":"pith_short_12","alias_value":"5T6TUWNHVPFK","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"5T6TUWNHVPFK3MUJ","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"5T6TUWNH","created_at":"2026-05-18T12:33:10Z"}],"graph_snapshots":[{"event_id":"sha256:c69930106faa0dec561c872f95ea95e2cb6e66dabf7b776a12df040f9ccb8212","target":"graph","created_at":"2026-05-17T23:46: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"},"paper":{"abstract_excerpt":"In recent years, Signal Temporal Logic (STL) has gained traction as a practical and expressive means of encoding control objectives for robotic and cyber-physical systems. The state-of-the-art in STL trajectory synthesis is to formulate the problem as a Mixed Integer Linear Program (MILP). The MILP approach is sound and complete for bounded specifications, but such strong correctness guarantees come at the price of exponential complexity in the number of predicates and the time bound of the specification. In this work, we propose an alternative synthesis paradigm that relies on Bayesian optimi","authors_text":"Hai Lin, Vince Kurtz","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2019-05-08T13:07:57Z","title":"Bayesian Optimization for Polynomial Time Probabilistically Complete STL Trajectory Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.03051","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:179479b6f75279f69fd4edf5d1367cff506caba35c3443dcfc3591364198de44","target":"record","created_at":"2026-05-17T23:46: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":"28cff73803ee030f45a29978386bbdeb2d7327f52e8271031d11191f89914f20","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2019-05-08T13:07:57Z","title_canon_sha256":"7976b68e82948cab4274fb2a9a7c61b8cceca9baed4e76e9e6dbf750d43012fb"},"schema_version":"1.0","source":{"id":"1905.03051","kind":"arxiv","version":1}},"canonical_sha256":"ecfd3a59a7abcaadb289e4aa03c7feb9b841e17988bd9cba2a5a391a24cdc4e2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ecfd3a59a7abcaadb289e4aa03c7feb9b841e17988bd9cba2a5a391a24cdc4e2","first_computed_at":"2026-05-17T23:46:43.020173Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:46:43.020173Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xwFqbpuoHELtH0d6iaPD5xV9wA0XxkTBxx4YuxKLjiaO0UPryN4x2BNZtBaKQsjLFLsSe009UpHtRbS4R8R6Ag==","signature_status":"signed_v1","signed_at":"2026-05-17T23:46:43.020812Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.03051","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:179479b6f75279f69fd4edf5d1367cff506caba35c3443dcfc3591364198de44","sha256:c69930106faa0dec561c872f95ea95e2cb6e66dabf7b776a12df040f9ccb8212"],"state_sha256":"b93543cb31c2c1321f2594eea8ad4a477a18968c743f5bc346e1767088e0e597"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GfVoPfbRmYUZJ1Lo9mTHd6miIv0qOUxmhsXENXy8OSWpPx/syPTMnaOMLE9LPtJMQA/yXtTOxIipSb1+rxj8CA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T13:05:29.721786Z","bundle_sha256":"39b4db5a286574b38b79ba7c3092221fb158851c201c58e2dbfe14b75a1d5cad"}}