{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:NBEW5ODCH6EF4HO4MJNDYM64X3","short_pith_number":"pith:NBEW5ODC","canonical_record":{"source":{"id":"1707.03529","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-07-12T03:44:10Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"62ce3639c38e3288084be6c42ba25d47094905e88db3fea966fdd2ea8343a9c4","abstract_canon_sha256":"cbef502aa08628a3ea2d9f15fbf1d7c22389d6e77828b9b512084946125a56d0"},"schema_version":"1.0"},"canonical_sha256":"68496eb8623f885e1ddc625a3c33dcbee5256d0bff873bd456345e6e7f6f8000","source":{"kind":"arxiv","id":"1707.03529","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.03529","created_at":"2026-05-18T00:40:25Z"},{"alias_kind":"arxiv_version","alias_value":"1707.03529v1","created_at":"2026-05-18T00:40:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.03529","created_at":"2026-05-18T00:40:25Z"},{"alias_kind":"pith_short_12","alias_value":"NBEW5ODCH6EF","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"NBEW5ODCH6EF4HO4","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"NBEW5ODC","created_at":"2026-05-18T12:31:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:NBEW5ODCH6EF4HO4MJNDYM64X3","target":"record","payload":{"canonical_record":{"source":{"id":"1707.03529","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-07-12T03:44:10Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"62ce3639c38e3288084be6c42ba25d47094905e88db3fea966fdd2ea8343a9c4","abstract_canon_sha256":"cbef502aa08628a3ea2d9f15fbf1d7c22389d6e77828b9b512084946125a56d0"},"schema_version":"1.0"},"canonical_sha256":"68496eb8623f885e1ddc625a3c33dcbee5256d0bff873bd456345e6e7f6f8000","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:40:25.710959Z","signature_b64":"f4C12Kztv0Ax9DdP9uHKf+2Lv2co74vX1K+YEfXU8CAp/VKogvkHUyFmmMHdu/KRAliy2zAdWMy8WHDWjUKDDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"68496eb8623f885e1ddc625a3c33dcbee5256d0bff873bd456345e6e7f6f8000","last_reissued_at":"2026-05-18T00:40:25.710533Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:40:25.710533Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1707.03529","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-18T00:40:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6VmkOWbO5eOjQzUHFk15gNkg/ETYxgNGEBJieXapo9/IYryf+HP6SD9lA1ppnsaQQKZaNjC6NsQKLT/B7QAJDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T20:10:28.098491Z"},"content_sha256":"e9004a01136839f823ba3f4a34942f11b6da99156cef18a770aab0854465dca9","schema_version":"1.0","event_id":"sha256:e9004a01136839f823ba3f4a34942f11b6da99156cef18a770aab0854465dca9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:NBEW5ODCH6EF4HO4MJNDYM64X3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.SY","authors_text":"Alberto Sangiovanni-Vincentelli, Marcell Vazquez-Chanlatte, Sanjit A. Seshia, Shromona Ghosh, Vasumathi Raman","submitted_at":"2017-07-12T03:44:10Z","abstract_excerpt":"We address the problem of synthesizing reactive controllers for cyber-physical systems subject to Signal Temporal Logic (STL) specifications in the presence of adversarial inputs. Given a finite horizon, we define a reactive hierarchy of control problems that differ in the degree of information available to the system about the adversary's actions over the horizon. We show how to construct reactive controllers at various levels of the hierarchy, leveraging the existence of Lipschitz bounds on system dynamics and the quantitative semantics of STL. Our approach, a counterexample-guided inductive"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.03529","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-18T00:40:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0CG8Ix/QtiOnn20jjuS0dA3Gtz/MRZOpnlvrPa5vWJx8fHwR4ySZsce9SEIgYj82dYFg04h044bgs8jIVpZ+CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T20:10:28.098842Z"},"content_sha256":"06c58b3e29391d0bc04fcd45a1680187bb430c8e5e694fa1e733713e082b51d5","schema_version":"1.0","event_id":"sha256:06c58b3e29391d0bc04fcd45a1680187bb430c8e5e694fa1e733713e082b51d5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NBEW5ODCH6EF4HO4MJNDYM64X3/bundle.json","state_url":"https://pith.science/pith/NBEW5ODCH6EF4HO4MJNDYM64X3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NBEW5ODCH6EF4HO4MJNDYM64X3/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-28T20:10:28Z","links":{"resolver":"https://pith.science/pith/NBEW5ODCH6EF4HO4MJNDYM64X3","bundle":"https://pith.science/pith/NBEW5ODCH6EF4HO4MJNDYM64X3/bundle.json","state":"https://pith.science/pith/NBEW5ODCH6EF4HO4MJNDYM64X3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NBEW5ODCH6EF4HO4MJNDYM64X3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:NBEW5ODCH6EF4HO4MJNDYM64X3","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":"cbef502aa08628a3ea2d9f15fbf1d7c22389d6e77828b9b512084946125a56d0","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-07-12T03:44:10Z","title_canon_sha256":"62ce3639c38e3288084be6c42ba25d47094905e88db3fea966fdd2ea8343a9c4"},"schema_version":"1.0","source":{"id":"1707.03529","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.03529","created_at":"2026-05-18T00:40:25Z"},{"alias_kind":"arxiv_version","alias_value":"1707.03529v1","created_at":"2026-05-18T00:40:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.03529","created_at":"2026-05-18T00:40:25Z"},{"alias_kind":"pith_short_12","alias_value":"NBEW5ODCH6EF","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"NBEW5ODCH6EF4HO4","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"NBEW5ODC","created_at":"2026-05-18T12:31:31Z"}],"graph_snapshots":[{"event_id":"sha256:06c58b3e29391d0bc04fcd45a1680187bb430c8e5e694fa1e733713e082b51d5","target":"graph","created_at":"2026-05-18T00:40:25Z","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 address the problem of synthesizing reactive controllers for cyber-physical systems subject to Signal Temporal Logic (STL) specifications in the presence of adversarial inputs. Given a finite horizon, we define a reactive hierarchy of control problems that differ in the degree of information available to the system about the adversary's actions over the horizon. We show how to construct reactive controllers at various levels of the hierarchy, leveraging the existence of Lipschitz bounds on system dynamics and the quantitative semantics of STL. Our approach, a counterexample-guided inductive","authors_text":"Alberto Sangiovanni-Vincentelli, Marcell Vazquez-Chanlatte, Sanjit A. Seshia, Shromona Ghosh, Vasumathi Raman","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-07-12T03:44:10Z","title":"Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.03529","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:e9004a01136839f823ba3f4a34942f11b6da99156cef18a770aab0854465dca9","target":"record","created_at":"2026-05-18T00:40:25Z","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":"cbef502aa08628a3ea2d9f15fbf1d7c22389d6e77828b9b512084946125a56d0","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-07-12T03:44:10Z","title_canon_sha256":"62ce3639c38e3288084be6c42ba25d47094905e88db3fea966fdd2ea8343a9c4"},"schema_version":"1.0","source":{"id":"1707.03529","kind":"arxiv","version":1}},"canonical_sha256":"68496eb8623f885e1ddc625a3c33dcbee5256d0bff873bd456345e6e7f6f8000","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"68496eb8623f885e1ddc625a3c33dcbee5256d0bff873bd456345e6e7f6f8000","first_computed_at":"2026-05-18T00:40:25.710533Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:40:25.710533Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"f4C12Kztv0Ax9DdP9uHKf+2Lv2co74vX1K+YEfXU8CAp/VKogvkHUyFmmMHdu/KRAliy2zAdWMy8WHDWjUKDDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:40:25.710959Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.03529","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e9004a01136839f823ba3f4a34942f11b6da99156cef18a770aab0854465dca9","sha256:06c58b3e29391d0bc04fcd45a1680187bb430c8e5e694fa1e733713e082b51d5"],"state_sha256":"e05979ecb416a46317797830fd5ea54805a5c6e13c5208e17271be45670a0fc7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kUX5FUUIJjv54fOdnlZJP4cyg4CdqdEyTzGYHEOxqJoBwWRBkRmxSnvyPL715I8T3M3B5dsPIAQAXD6Ex0s9DQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T20:10:28.100884Z","bundle_sha256":"9b5c6f1b60d04c1b644fdc639a482103df48b2607a163f3003e4197246b759df"}}