{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:ITRGU2EUHNAJOSKJOYO2GLHFX6","short_pith_number":"pith:ITRGU2EU","canonical_record":{"source":{"id":"1604.06764","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2016-04-22T18:11:36Z","cross_cats_sorted":[],"title_canon_sha256":"5b8f385aef6967c01bbfbaf9fedca3c8495b1e8e58f5a918e10bd77d42a36cda","abstract_canon_sha256":"dcaf0282261cbf81a3ee774810878aec0e94ac3b51d694145725c368de9d86e6"},"schema_version":"1.0"},"canonical_sha256":"44e26a68943b40974949761da32ce5bfa60a507d1adaa9cd7751697344b6b582","source":{"kind":"arxiv","id":"1604.06764","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.06764","created_at":"2026-07-05T06:23:16Z"},{"alias_kind":"arxiv_version","alias_value":"1604.06764v4","created_at":"2026-07-05T06:23:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.06764","created_at":"2026-07-05T06:23:16Z"},{"alias_kind":"pith_short_12","alias_value":"ITRGU2EUHNAJ","created_at":"2026-07-05T06:23:16Z"},{"alias_kind":"pith_short_16","alias_value":"ITRGU2EUHNAJOSKJ","created_at":"2026-07-05T06:23:16Z"},{"alias_kind":"pith_short_8","alias_value":"ITRGU2EU","created_at":"2026-07-05T06:23:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:ITRGU2EUHNAJOSKJOYO2GLHFX6","target":"record","payload":{"canonical_record":{"source":{"id":"1604.06764","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2016-04-22T18:11:36Z","cross_cats_sorted":[],"title_canon_sha256":"5b8f385aef6967c01bbfbaf9fedca3c8495b1e8e58f5a918e10bd77d42a36cda","abstract_canon_sha256":"dcaf0282261cbf81a3ee774810878aec0e94ac3b51d694145725c368de9d86e6"},"schema_version":"1.0"},"canonical_sha256":"44e26a68943b40974949761da32ce5bfa60a507d1adaa9cd7751697344b6b582","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:23:16.855629Z","signature_b64":"F5M0xpfUl82Rr0i8o9LLExQbwteUs0IZd80JzoBRlQqwg4BRzbLVUwuwNHcPwZ3wXAJpkPfjcuReHgA1tTrvCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"44e26a68943b40974949761da32ce5bfa60a507d1adaa9cd7751697344b6b582","last_reissued_at":"2026-07-05T06:23:16.855210Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:23:16.855210Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1604.06764","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-07-05T06:23:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V609QINevTGdD8VZR2VE/ZLHeDGn7XZGDQd2ADO3zt11zj9H5nKsEPW7AJ71FUbZN3KKUb6c24X0rJGyUurMCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T10:19:03.864797Z"},"content_sha256":"b0c4347a2c41f4ae0516e6abd3e94af5621af18ec0bd85e336863c36601759d7","schema_version":"1.0","event_id":"sha256:b0c4347a2c41f4ae0516e6abd3e94af5621af18ec0bd85e336863c36601759d7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:ITRGU2EUHNAJOSKJOYO2GLHFX6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Quantitative Automata under Probabilistic Semantics","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Jan Otop, Krishnendu Chatterjee, Thomas A. Henzinger","submitted_at":"2016-04-22T18:11:36Z","abstract_excerpt":"Automata with monitor counters, where the transitions do not depend on counter values, and nested weighted automata are two expressive automata-theoretic frameworks for quantitative properties. For a well-studied and wide class of quantitative functions, we establish that automata with monitor counters and nested weighted automata are equivalent. We study for the first time such quantitative automata under probabilistic semantics. We show that several problems that are undecidable for the classical questions of emptiness and universality become decidable under the probabilistic semantics. We p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.06764","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1604.06764/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T06:23:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Dxa7g0P/P2Eb65qZQLkliyCAVBckS7f0CY/Drp9vSuLDvf3h/w6fTLHUJbedhKtxNyjygXfL86UGxOwzc7jeBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T10:19:03.865355Z"},"content_sha256":"2e0ba5cb5682287531ea22cffd1fe4a088e9b25742ef834b723cdeb30c364757","schema_version":"1.0","event_id":"sha256:2e0ba5cb5682287531ea22cffd1fe4a088e9b25742ef834b723cdeb30c364757"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ITRGU2EUHNAJOSKJOYO2GLHFX6/bundle.json","state_url":"https://pith.science/pith/ITRGU2EUHNAJOSKJOYO2GLHFX6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ITRGU2EUHNAJOSKJOYO2GLHFX6/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-08-06T10:19:03Z","links":{"resolver":"https://pith.science/pith/ITRGU2EUHNAJOSKJOYO2GLHFX6","bundle":"https://pith.science/pith/ITRGU2EUHNAJOSKJOYO2GLHFX6/bundle.json","state":"https://pith.science/pith/ITRGU2EUHNAJOSKJOYO2GLHFX6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ITRGU2EUHNAJOSKJOYO2GLHFX6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:ITRGU2EUHNAJOSKJOYO2GLHFX6","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":"dcaf0282261cbf81a3ee774810878aec0e94ac3b51d694145725c368de9d86e6","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2016-04-22T18:11:36Z","title_canon_sha256":"5b8f385aef6967c01bbfbaf9fedca3c8495b1e8e58f5a918e10bd77d42a36cda"},"schema_version":"1.0","source":{"id":"1604.06764","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.06764","created_at":"2026-07-05T06:23:16Z"},{"alias_kind":"arxiv_version","alias_value":"1604.06764v4","created_at":"2026-07-05T06:23:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.06764","created_at":"2026-07-05T06:23:16Z"},{"alias_kind":"pith_short_12","alias_value":"ITRGU2EUHNAJ","created_at":"2026-07-05T06:23:16Z"},{"alias_kind":"pith_short_16","alias_value":"ITRGU2EUHNAJOSKJ","created_at":"2026-07-05T06:23:16Z"},{"alias_kind":"pith_short_8","alias_value":"ITRGU2EU","created_at":"2026-07-05T06:23:16Z"}],"graph_snapshots":[{"event_id":"sha256:2e0ba5cb5682287531ea22cffd1fe4a088e9b25742ef834b723cdeb30c364757","target":"graph","created_at":"2026-07-05T06:23:16Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1604.06764/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Automata with monitor counters, where the transitions do not depend on counter values, and nested weighted automata are two expressive automata-theoretic frameworks for quantitative properties. For a well-studied and wide class of quantitative functions, we establish that automata with monitor counters and nested weighted automata are equivalent. We study for the first time such quantitative automata under probabilistic semantics. We show that several problems that are undecidable for the classical questions of emptiness and universality become decidable under the probabilistic semantics. We p","authors_text":"Jan Otop, Krishnendu Chatterjee, Thomas A. Henzinger","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2016-04-22T18:11:36Z","title":"Quantitative Automata under Probabilistic Semantics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.06764","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:b0c4347a2c41f4ae0516e6abd3e94af5621af18ec0bd85e336863c36601759d7","target":"record","created_at":"2026-07-05T06:23:16Z","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":"dcaf0282261cbf81a3ee774810878aec0e94ac3b51d694145725c368de9d86e6","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2016-04-22T18:11:36Z","title_canon_sha256":"5b8f385aef6967c01bbfbaf9fedca3c8495b1e8e58f5a918e10bd77d42a36cda"},"schema_version":"1.0","source":{"id":"1604.06764","kind":"arxiv","version":4}},"canonical_sha256":"44e26a68943b40974949761da32ce5bfa60a507d1adaa9cd7751697344b6b582","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"44e26a68943b40974949761da32ce5bfa60a507d1adaa9cd7751697344b6b582","first_computed_at":"2026-07-05T06:23:16.855210Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:23:16.855210Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"F5M0xpfUl82Rr0i8o9LLExQbwteUs0IZd80JzoBRlQqwg4BRzbLVUwuwNHcPwZ3wXAJpkPfjcuReHgA1tTrvCA==","signature_status":"signed_v1","signed_at":"2026-07-05T06:23:16.855629Z","signed_message":"canonical_sha256_bytes"},"source_id":"1604.06764","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b0c4347a2c41f4ae0516e6abd3e94af5621af18ec0bd85e336863c36601759d7","sha256:2e0ba5cb5682287531ea22cffd1fe4a088e9b25742ef834b723cdeb30c364757"],"state_sha256":"949e20bd57abef10a88ec9a02f60fa64fb48c982321ef168dc54fe28e9ea6621"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MX0dWVejkK6s+sI2AwkV/2kqxNGThpJedXnMPXouN6sPJdcMVDIxd7WDqGs0fVBQUKUJT/CJ7EayDuULbjEYDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T10:19:03.869321Z","bundle_sha256":"3d6502ac90887872092a17eed3592577469b037901a5935f81d99a14439ee063"}}