{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:Y4EOILZYLYNLXXHVFBCB5ZTQOP","short_pith_number":"pith:Y4EOILZY","canonical_record":{"source":{"id":"1504.07702","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-04-29T02:13:22Z","cross_cats_sorted":["cs.GT","cs.LO","cs.SY"],"title_canon_sha256":"2342d07ed10643ae79733eb54a3a8f997af7ce40d50eb691c018616f30acb3ee","abstract_canon_sha256":"614a084a2a145cdef9a73b69068644fefbe529027d35e35d23e3df524523db00"},"schema_version":"1.0"},"canonical_sha256":"c708e42f385e1abbdcf528441ee67073cc8b86b88c17385b1d1839a9ba99d551","source":{"kind":"arxiv","id":"1504.07702","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.07702","created_at":"2026-05-18T00:54:48Z"},{"alias_kind":"arxiv_version","alias_value":"1504.07702v4","created_at":"2026-05-18T00:54:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.07702","created_at":"2026-05-18T00:54:48Z"},{"alias_kind":"pith_short_12","alias_value":"Y4EOILZYLYNL","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_16","alias_value":"Y4EOILZYLYNLXXHV","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_8","alias_value":"Y4EOILZY","created_at":"2026-05-18T12:29:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:Y4EOILZYLYNLXXHVFBCB5ZTQOP","target":"record","payload":{"canonical_record":{"source":{"id":"1504.07702","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-04-29T02:13:22Z","cross_cats_sorted":["cs.GT","cs.LO","cs.SY"],"title_canon_sha256":"2342d07ed10643ae79733eb54a3a8f997af7ce40d50eb691c018616f30acb3ee","abstract_canon_sha256":"614a084a2a145cdef9a73b69068644fefbe529027d35e35d23e3df524523db00"},"schema_version":"1.0"},"canonical_sha256":"c708e42f385e1abbdcf528441ee67073cc8b86b88c17385b1d1839a9ba99d551","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:54:48.254284Z","signature_b64":"IToJIkCiDoVyJiuUYeeIHvjn0d48F1Mw2LMGUGpHNOtzoIkpy4zjFQCzMxE8BwWkWM5/ENCEjPgLONf7Em/9Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c708e42f385e1abbdcf528441ee67073cc8b86b88c17385b1d1839a9ba99d551","last_reissued_at":"2026-05-18T00:54:48.253875Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:54:48.253875Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1504.07702","source_version":4,"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:54:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3oyGEO/VDx3vyLtHgrIfrIcA7Hco0ZGO182m4YilQpPPzBGQ5R26s9NHwt8tIOw6KfC2d0oYoTlp9lT6JIhXDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T00:15:26.582110Z"},"content_sha256":"f27d6146a85f230c6c96b4c62cdf36e498b39ff0c3bdcaeb0445bc687904b531","schema_version":"1.0","event_id":"sha256:f27d6146a85f230c6c96b4c62cdf36e498b39ff0c3bdcaeb0445bc687904b531"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:Y4EOILZYLYNLXXHVFBCB5ZTQOP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Mode-Target Games: Reactive Synthesis for Control Applications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.GT","cs.LO","cs.SY"],"primary_cat":"math.OC","authors_text":"Ayca Balkan, Moshe Vardi, Paulo Tabuada","submitted_at":"2015-04-29T02:13:22Z","abstract_excerpt":"In this paper we introduce a class of Linear Temporal Logic (LTL) specifications for which the problem of synthesizing controllers can be solved in polynomial time. The new class of specifications is an LTL fragment that we term Mode-Target (MT) and is inspired by numerous control applications where there are modes and corresponding (possibly multiple) targets for each mode. We formulate the problem of synthesizing a controller enforcing an MT specification as a game and provide an algorithm that requires $O(\\sum_i t_i n^2)$ symbolic steps, where $n$ is the number of states in the game graph, "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.07702","kind":"arxiv","version":4},"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:54:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FrKIlCaReTkVmhl4wTl5WoKudn+qxZknDql9TBW754uYsN8Ur7ualwYuAk1NJ6N5J2Bf5SJhswqm9gScJJMmAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T00:15:26.582486Z"},"content_sha256":"58f9c58d2ef446ad18baeb6deab2c1c6e3f553ad376658eefaa4910b494b1db6","schema_version":"1.0","event_id":"sha256:58f9c58d2ef446ad18baeb6deab2c1c6e3f553ad376658eefaa4910b494b1db6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Y4EOILZYLYNLXXHVFBCB5ZTQOP/bundle.json","state_url":"https://pith.science/pith/Y4EOILZYLYNLXXHVFBCB5ZTQOP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Y4EOILZYLYNLXXHVFBCB5ZTQOP/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-22T00:15:26Z","links":{"resolver":"https://pith.science/pith/Y4EOILZYLYNLXXHVFBCB5ZTQOP","bundle":"https://pith.science/pith/Y4EOILZYLYNLXXHVFBCB5ZTQOP/bundle.json","state":"https://pith.science/pith/Y4EOILZYLYNLXXHVFBCB5ZTQOP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Y4EOILZYLYNLXXHVFBCB5ZTQOP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:Y4EOILZYLYNLXXHVFBCB5ZTQOP","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":"614a084a2a145cdef9a73b69068644fefbe529027d35e35d23e3df524523db00","cross_cats_sorted":["cs.GT","cs.LO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-04-29T02:13:22Z","title_canon_sha256":"2342d07ed10643ae79733eb54a3a8f997af7ce40d50eb691c018616f30acb3ee"},"schema_version":"1.0","source":{"id":"1504.07702","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.07702","created_at":"2026-05-18T00:54:48Z"},{"alias_kind":"arxiv_version","alias_value":"1504.07702v4","created_at":"2026-05-18T00:54:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.07702","created_at":"2026-05-18T00:54:48Z"},{"alias_kind":"pith_short_12","alias_value":"Y4EOILZYLYNL","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_16","alias_value":"Y4EOILZYLYNLXXHV","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_8","alias_value":"Y4EOILZY","created_at":"2026-05-18T12:29:50Z"}],"graph_snapshots":[{"event_id":"sha256:58f9c58d2ef446ad18baeb6deab2c1c6e3f553ad376658eefaa4910b494b1db6","target":"graph","created_at":"2026-05-18T00:54:48Z","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 this paper we introduce a class of Linear Temporal Logic (LTL) specifications for which the problem of synthesizing controllers can be solved in polynomial time. The new class of specifications is an LTL fragment that we term Mode-Target (MT) and is inspired by numerous control applications where there are modes and corresponding (possibly multiple) targets for each mode. We formulate the problem of synthesizing a controller enforcing an MT specification as a game and provide an algorithm that requires $O(\\sum_i t_i n^2)$ symbolic steps, where $n$ is the number of states in the game graph, ","authors_text":"Ayca Balkan, Moshe Vardi, Paulo Tabuada","cross_cats":["cs.GT","cs.LO","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-04-29T02:13:22Z","title":"Mode-Target Games: Reactive Synthesis for Control Applications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.07702","kind":"arxiv","version":4},"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:f27d6146a85f230c6c96b4c62cdf36e498b39ff0c3bdcaeb0445bc687904b531","target":"record","created_at":"2026-05-18T00:54:48Z","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":"614a084a2a145cdef9a73b69068644fefbe529027d35e35d23e3df524523db00","cross_cats_sorted":["cs.GT","cs.LO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-04-29T02:13:22Z","title_canon_sha256":"2342d07ed10643ae79733eb54a3a8f997af7ce40d50eb691c018616f30acb3ee"},"schema_version":"1.0","source":{"id":"1504.07702","kind":"arxiv","version":4}},"canonical_sha256":"c708e42f385e1abbdcf528441ee67073cc8b86b88c17385b1d1839a9ba99d551","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c708e42f385e1abbdcf528441ee67073cc8b86b88c17385b1d1839a9ba99d551","first_computed_at":"2026-05-18T00:54:48.253875Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:54:48.253875Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IToJIkCiDoVyJiuUYeeIHvjn0d48F1Mw2LMGUGpHNOtzoIkpy4zjFQCzMxE8BwWkWM5/ENCEjPgLONf7Em/9Dg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:54:48.254284Z","signed_message":"canonical_sha256_bytes"},"source_id":"1504.07702","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f27d6146a85f230c6c96b4c62cdf36e498b39ff0c3bdcaeb0445bc687904b531","sha256:58f9c58d2ef446ad18baeb6deab2c1c6e3f553ad376658eefaa4910b494b1db6"],"state_sha256":"aad2332fdeec7ea5e0f5ad7c4fdc1d27c237847cbe1587d9d6155c52fa9dffe4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"G8SuU3FH1JN/QmRowBo0XHpLnkuoq+d+k5FT0xfXmUHrq5tFj/DTFuOQKBQTBUidtUndDueQtIu70tEsxT3rCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-22T00:15:26.584550Z","bundle_sha256":"bb3619da42214d291bae3bfc8898d5b5d6d4ecb9ef8c654083917bee1d26a4ce"}}