{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:ELQISER2EOEIKG66SQRXB32JMZ","short_pith_number":"pith:ELQISER2","canonical_record":{"source":{"id":"1606.03598","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2016-06-11T14:00:14Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"dbcd163badb36569c6be2a94f47b088937250bc683f92942e68c9b2d06de57ac","abstract_canon_sha256":"cee80489b7ac10b9b155a1ec3b8a1c29057090d482245693bd297fc3c45e8d43"},"schema_version":"1.0"},"canonical_sha256":"22e089123a2388851bde942370ef4966519b0e9faabe5fd54a11c61f035638f3","source":{"kind":"arxiv","id":"1606.03598","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.03598","created_at":"2026-05-18T01:12:33Z"},{"alias_kind":"arxiv_version","alias_value":"1606.03598v1","created_at":"2026-05-18T01:12:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.03598","created_at":"2026-05-18T01:12:33Z"},{"alias_kind":"pith_short_12","alias_value":"ELQISER2EOEI","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_16","alias_value":"ELQISER2EOEIKG66","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_8","alias_value":"ELQISER2","created_at":"2026-05-18T12:30:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:ELQISER2EOEIKG66SQRXB32JMZ","target":"record","payload":{"canonical_record":{"source":{"id":"1606.03598","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2016-06-11T14:00:14Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"dbcd163badb36569c6be2a94f47b088937250bc683f92942e68c9b2d06de57ac","abstract_canon_sha256":"cee80489b7ac10b9b155a1ec3b8a1c29057090d482245693bd297fc3c45e8d43"},"schema_version":"1.0"},"canonical_sha256":"22e089123a2388851bde942370ef4966519b0e9faabe5fd54a11c61f035638f3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:12:33.569734Z","signature_b64":"lH3vR2liH9k5es6mZ0uJj/XbCSkqIRHI0EpDWur9Iqw68rNsMD4TNLJmiglNScOL13YR/x9Wp9KzgzH2G68tCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"22e089123a2388851bde942370ef4966519b0e9faabe5fd54a11c61f035638f3","last_reissued_at":"2026-05-18T01:12:33.569143Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:12:33.569143Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1606.03598","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-18T01:12:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7DvunnTcO5pSifNeJbHJwK/vUqyMvlvazVhTm8FZNDCYUmsFHR+/L7SKhC+qrTd2T7G9RZrJn2D5j3InPPFkDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T16:10:50.732701Z"},"content_sha256":"a122ef5bf11034cb029ec88053a1f3fff84f40d6404f67af3384fa5cf3bab3c2","schema_version":"1.0","event_id":"sha256:a122ef5bf11034cb029ec88053a1f3fff84f40d6404f67af3384fa5cf3bab3c2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:ELQISER2EOEIKG66SQRXB32JMZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Nested Weighted Limit-Average Automata of Bounded Width","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.FL","authors_text":"Jan Otop, Krishnendu Chatterjee, Thomas A. Henzinger","submitted_at":"2016-06-11T14:00:14Z","abstract_excerpt":"While weighted automata provide a natural framework to express quantitative properties, many basic properties like average response time cannot be expressed with weighted automata. Nested weighted automata extend weighted automata and consist of a master automaton and a set of slave automata that are invoked by the master automaton. Nested weighted automata are strictly more expressive than weighted automata (e.g., average response time can be expressed with nested weighted automata), but the basic decision questions have higher complexity (e.g., for deterministic automata, the emptiness quest"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.03598","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-18T01:12:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aO4gh7+USgAA54ueyBAjSZJOFvBB/ZAVqavBgn/h1mDu6tLMOIKTUMiXtjrf1cKxwZnFaClLxn7b+Hyzo+CvCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T16:10:50.733449Z"},"content_sha256":"7e95400dba3a6db24241223bf4b2929e1d39b7cb431315998cc1bbe1cd6b5fa7","schema_version":"1.0","event_id":"sha256:7e95400dba3a6db24241223bf4b2929e1d39b7cb431315998cc1bbe1cd6b5fa7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ELQISER2EOEIKG66SQRXB32JMZ/bundle.json","state_url":"https://pith.science/pith/ELQISER2EOEIKG66SQRXB32JMZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ELQISER2EOEIKG66SQRXB32JMZ/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-25T16:10:50Z","links":{"resolver":"https://pith.science/pith/ELQISER2EOEIKG66SQRXB32JMZ","bundle":"https://pith.science/pith/ELQISER2EOEIKG66SQRXB32JMZ/bundle.json","state":"https://pith.science/pith/ELQISER2EOEIKG66SQRXB32JMZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ELQISER2EOEIKG66SQRXB32JMZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:ELQISER2EOEIKG66SQRXB32JMZ","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":"cee80489b7ac10b9b155a1ec3b8a1c29057090d482245693bd297fc3c45e8d43","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2016-06-11T14:00:14Z","title_canon_sha256":"dbcd163badb36569c6be2a94f47b088937250bc683f92942e68c9b2d06de57ac"},"schema_version":"1.0","source":{"id":"1606.03598","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.03598","created_at":"2026-05-18T01:12:33Z"},{"alias_kind":"arxiv_version","alias_value":"1606.03598v1","created_at":"2026-05-18T01:12:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.03598","created_at":"2026-05-18T01:12:33Z"},{"alias_kind":"pith_short_12","alias_value":"ELQISER2EOEI","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_16","alias_value":"ELQISER2EOEIKG66","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_8","alias_value":"ELQISER2","created_at":"2026-05-18T12:30:12Z"}],"graph_snapshots":[{"event_id":"sha256:7e95400dba3a6db24241223bf4b2929e1d39b7cb431315998cc1bbe1cd6b5fa7","target":"graph","created_at":"2026-05-18T01:12:33Z","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":"While weighted automata provide a natural framework to express quantitative properties, many basic properties like average response time cannot be expressed with weighted automata. Nested weighted automata extend weighted automata and consist of a master automaton and a set of slave automata that are invoked by the master automaton. Nested weighted automata are strictly more expressive than weighted automata (e.g., average response time can be expressed with nested weighted automata), but the basic decision questions have higher complexity (e.g., for deterministic automata, the emptiness quest","authors_text":"Jan Otop, Krishnendu Chatterjee, Thomas A. Henzinger","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2016-06-11T14:00:14Z","title":"Nested Weighted Limit-Average Automata of Bounded Width"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.03598","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:a122ef5bf11034cb029ec88053a1f3fff84f40d6404f67af3384fa5cf3bab3c2","target":"record","created_at":"2026-05-18T01:12:33Z","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":"cee80489b7ac10b9b155a1ec3b8a1c29057090d482245693bd297fc3c45e8d43","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2016-06-11T14:00:14Z","title_canon_sha256":"dbcd163badb36569c6be2a94f47b088937250bc683f92942e68c9b2d06de57ac"},"schema_version":"1.0","source":{"id":"1606.03598","kind":"arxiv","version":1}},"canonical_sha256":"22e089123a2388851bde942370ef4966519b0e9faabe5fd54a11c61f035638f3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"22e089123a2388851bde942370ef4966519b0e9faabe5fd54a11c61f035638f3","first_computed_at":"2026-05-18T01:12:33.569143Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:12:33.569143Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lH3vR2liH9k5es6mZ0uJj/XbCSkqIRHI0EpDWur9Iqw68rNsMD4TNLJmiglNScOL13YR/x9Wp9KzgzH2G68tCA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:12:33.569734Z","signed_message":"canonical_sha256_bytes"},"source_id":"1606.03598","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a122ef5bf11034cb029ec88053a1f3fff84f40d6404f67af3384fa5cf3bab3c2","sha256:7e95400dba3a6db24241223bf4b2929e1d39b7cb431315998cc1bbe1cd6b5fa7"],"state_sha256":"d2c3b41e804cb21ad631bfa1fc601e4e93ea72b4b593d29a7990351325c43a0f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"c8JwbMcQln4YKC8Rp2SRYy2dDHQkHV2PXEg68/OmIitGH5vxoyTxWTUXqIh2QP6yn22nh4pPs5nGdouaJoSkDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T16:10:50.737573Z","bundle_sha256":"74ca875157645cdc87db021a554ba4f0b6d0fd0196e1223d04ba94533aa0b313"}}