{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:GVE7J5H7KZUOUVSTKBEWDGOQ7Y","short_pith_number":"pith:GVE7J5H7","canonical_record":{"source":{"id":"1801.03663","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-01-11T08:27:17Z","cross_cats_sorted":[],"title_canon_sha256":"0ebf52c54c7bf005123408269251ef473f714efc518492bb5d512b00b97af685","abstract_canon_sha256":"f3a41eba320b500802eecb26ffffb1a87abf7830809d227dc1c9f473b8d9a7f3"},"schema_version":"1.0"},"canonical_sha256":"3549f4f4ff5668ea565350496199d0fe3d468fee6c81f82cfd4549d048a259c6","source":{"kind":"arxiv","id":"1801.03663","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1801.03663","created_at":"2026-05-18T00:07:18Z"},{"alias_kind":"arxiv_version","alias_value":"1801.03663v2","created_at":"2026-05-18T00:07:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.03663","created_at":"2026-05-18T00:07:18Z"},{"alias_kind":"pith_short_12","alias_value":"GVE7J5H7KZUO","created_at":"2026-05-18T12:32:25Z"},{"alias_kind":"pith_short_16","alias_value":"GVE7J5H7KZUOUVST","created_at":"2026-05-18T12:32:25Z"},{"alias_kind":"pith_short_8","alias_value":"GVE7J5H7","created_at":"2026-05-18T12:32:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:GVE7J5H7KZUOUVSTKBEWDGOQ7Y","target":"record","payload":{"canonical_record":{"source":{"id":"1801.03663","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-01-11T08:27:17Z","cross_cats_sorted":[],"title_canon_sha256":"0ebf52c54c7bf005123408269251ef473f714efc518492bb5d512b00b97af685","abstract_canon_sha256":"f3a41eba320b500802eecb26ffffb1a87abf7830809d227dc1c9f473b8d9a7f3"},"schema_version":"1.0"},"canonical_sha256":"3549f4f4ff5668ea565350496199d0fe3d468fee6c81f82cfd4549d048a259c6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:07:18.072840Z","signature_b64":"SjA0Y1Cxn52urX0jxSkH0LXAzjidNyxxSfytZHNs4A96eZzqHV3eg/oVg3bUkGTciEJuQr1loPmkfMccKumJCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3549f4f4ff5668ea565350496199d0fe3d468fee6c81f82cfd4549d048a259c6","last_reissued_at":"2026-05-18T00:07:18.072181Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:07:18.072181Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1801.03663","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:07:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ChgNZrdEyewYUNRHcJZ787lpAeslDNn4aovamV099gaVLYbOih8f9cE2my4PmOwNp1qhP/ihBjVElOj0cCyBBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T00:26:37.745124Z"},"content_sha256":"45e67f90ac466ec8c2d525d067437f8e2ea6428a1dc86433e826280c198288d6","schema_version":"1.0","event_id":"sha256:45e67f90ac466ec8c2d525d067437f8e2ea6428a1dc86433e826280c198288d6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:GVE7J5H7KZUOUVSTKBEWDGOQ7Y","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"From Uncertainty Data to Robust Policies for Temporal Logic Planning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Damian Frick, Maryam Kamgarpour, Pier Giuseppe Sessa, Tony A. Wood","submitted_at":"2018-01-11T08:27:17Z","abstract_excerpt":"We consider the problem of synthesizing robust disturbance feedback policies for systems performing complex tasks. We formulate the tasks as linear temporal logic specifications and encode them into an optimization framework via mixed-integer constraints. Both the system dynamics and the specifications are known but affected by uncertainty. The distribution of the uncertainty is unknown, however realizations can be obtained. We introduce a data-driven approach where the constraints are fulfilled for a set of realizations and provide probabilistic generalization guarantees as a function of the "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.03663","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:07:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IJ39sNqgaVZhFCKCjUUrmwdTBVkU2jtVmApzWpHgZhXKGLmaWaqCzKCa7HGfQXSqRtLOs8d8Cpi3FxN/RARRAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T00:26:37.745804Z"},"content_sha256":"ec570cb567891a472ab8aaa39133baf64b8d941a35c78c1dace1e19daa14da4b","schema_version":"1.0","event_id":"sha256:ec570cb567891a472ab8aaa39133baf64b8d941a35c78c1dace1e19daa14da4b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GVE7J5H7KZUOUVSTKBEWDGOQ7Y/bundle.json","state_url":"https://pith.science/pith/GVE7J5H7KZUOUVSTKBEWDGOQ7Y/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GVE7J5H7KZUOUVSTKBEWDGOQ7Y/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-05-22T00:26:37Z","links":{"resolver":"https://pith.science/pith/GVE7J5H7KZUOUVSTKBEWDGOQ7Y","bundle":"https://pith.science/pith/GVE7J5H7KZUOUVSTKBEWDGOQ7Y/bundle.json","state":"https://pith.science/pith/GVE7J5H7KZUOUVSTKBEWDGOQ7Y/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GVE7J5H7KZUOUVSTKBEWDGOQ7Y/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:GVE7J5H7KZUOUVSTKBEWDGOQ7Y","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":"f3a41eba320b500802eecb26ffffb1a87abf7830809d227dc1c9f473b8d9a7f3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-01-11T08:27:17Z","title_canon_sha256":"0ebf52c54c7bf005123408269251ef473f714efc518492bb5d512b00b97af685"},"schema_version":"1.0","source":{"id":"1801.03663","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1801.03663","created_at":"2026-05-18T00:07:18Z"},{"alias_kind":"arxiv_version","alias_value":"1801.03663v2","created_at":"2026-05-18T00:07:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.03663","created_at":"2026-05-18T00:07:18Z"},{"alias_kind":"pith_short_12","alias_value":"GVE7J5H7KZUO","created_at":"2026-05-18T12:32:25Z"},{"alias_kind":"pith_short_16","alias_value":"GVE7J5H7KZUOUVST","created_at":"2026-05-18T12:32:25Z"},{"alias_kind":"pith_short_8","alias_value":"GVE7J5H7","created_at":"2026-05-18T12:32:25Z"}],"graph_snapshots":[{"event_id":"sha256:ec570cb567891a472ab8aaa39133baf64b8d941a35c78c1dace1e19daa14da4b","target":"graph","created_at":"2026-05-18T00:07:18Z","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":"We consider the problem of synthesizing robust disturbance feedback policies for systems performing complex tasks. We formulate the tasks as linear temporal logic specifications and encode them into an optimization framework via mixed-integer constraints. Both the system dynamics and the specifications are known but affected by uncertainty. The distribution of the uncertainty is unknown, however realizations can be obtained. We introduce a data-driven approach where the constraints are fulfilled for a set of realizations and provide probabilistic generalization guarantees as a function of the ","authors_text":"Damian Frick, Maryam Kamgarpour, Pier Giuseppe Sessa, Tony A. Wood","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-01-11T08:27:17Z","title":"From Uncertainty Data to Robust Policies for Temporal Logic Planning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.03663","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:45e67f90ac466ec8c2d525d067437f8e2ea6428a1dc86433e826280c198288d6","target":"record","created_at":"2026-05-18T00:07:18Z","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":"f3a41eba320b500802eecb26ffffb1a87abf7830809d227dc1c9f473b8d9a7f3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-01-11T08:27:17Z","title_canon_sha256":"0ebf52c54c7bf005123408269251ef473f714efc518492bb5d512b00b97af685"},"schema_version":"1.0","source":{"id":"1801.03663","kind":"arxiv","version":2}},"canonical_sha256":"3549f4f4ff5668ea565350496199d0fe3d468fee6c81f82cfd4549d048a259c6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3549f4f4ff5668ea565350496199d0fe3d468fee6c81f82cfd4549d048a259c6","first_computed_at":"2026-05-18T00:07:18.072181Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:07:18.072181Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SjA0Y1Cxn52urX0jxSkH0LXAzjidNyxxSfytZHNs4A96eZzqHV3eg/oVg3bUkGTciEJuQr1loPmkfMccKumJCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:07:18.072840Z","signed_message":"canonical_sha256_bytes"},"source_id":"1801.03663","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:45e67f90ac466ec8c2d525d067437f8e2ea6428a1dc86433e826280c198288d6","sha256:ec570cb567891a472ab8aaa39133baf64b8d941a35c78c1dace1e19daa14da4b"],"state_sha256":"57766620012ec93627f52eb27f16a451c1b83efbc36d06182721975971de6fff"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jEAWEyUZp4edwCEDpL+2y+/BOiea9+rHLPm2Ht0jfD3X4xcV2MNPVaggnwoWamO1igmNXFG7/Fa88fkEC9BtBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-22T00:26:37.749878Z","bundle_sha256":"de3c3818015a7d2dad57a5046ae7f11b3cc2383a081cd6f0d47c6e54ad7bec04"}}