{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:CWY64BLUZMASWO4XSWKH5OA7BO","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":"8affe2d22e7201421894af589672ed27a3c8f78bc7cc86b9c43a78b3629d225c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.FL","submitted_at":"2019-08-13T13:14:56Z","title_canon_sha256":"de592fe15cbe3cdb1105631d0229fe03825e336c9f31903adb188d56de92eeaf"},"schema_version":"1.0","source":{"id":"1908.04625","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.04625","created_at":"2026-07-05T00:16:05Z"},{"alias_kind":"arxiv_version","alias_value":"1908.04625v2","created_at":"2026-07-05T00:16:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.04625","created_at":"2026-07-05T00:16:05Z"},{"alias_kind":"pith_short_12","alias_value":"CWY64BLUZMAS","created_at":"2026-07-05T00:16:05Z"},{"alias_kind":"pith_short_16","alias_value":"CWY64BLUZMASWO4X","created_at":"2026-07-05T00:16:05Z"},{"alias_kind":"pith_short_8","alias_value":"CWY64BLU","created_at":"2026-07-05T00:16:05Z"}],"graph_snapshots":[{"event_id":"sha256:6fcd640af2ed8a6e403dfa1ec7a535afd1e11ed20b4408c9ead8a9029065dc33","target":"graph","created_at":"2026-07-05T00:16:05Z","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/1908.04625/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present the first study of non-deterministic weighted automata under probabilistic semantics. In this semantics words are random events, generated by a Markov chain, and functions computed by weighted automata are random variables. We consider the probabilistic questions of computing the expected value and the cumulative distribution for such random variables.\n  The exact answers to the probabilistic questions for non-deterministic automata can be irrational and are uncomputable in general. To overcome this limitation, we propose approximation algorithms for the probabilistic questions, whi","authors_text":"Jakub Michaliszyn, Jan Otop","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.FL","submitted_at":"2019-08-13T13:14:56Z","title":"Non-deterministic weighted automata evaluated over Markov chains"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.04625","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:2f2a35f87462c201ab707162a123362ace7085e0e010e9fc280b9a63b3b7fdec","target":"record","created_at":"2026-07-05T00:16:05Z","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":"8affe2d22e7201421894af589672ed27a3c8f78bc7cc86b9c43a78b3629d225c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.FL","submitted_at":"2019-08-13T13:14:56Z","title_canon_sha256":"de592fe15cbe3cdb1105631d0229fe03825e336c9f31903adb188d56de92eeaf"},"schema_version":"1.0","source":{"id":"1908.04625","kind":"arxiv","version":2}},"canonical_sha256":"15b1ee0574cb012b3b9795947eb81f0b982138fff3d886cded718ab2835aa86e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"15b1ee0574cb012b3b9795947eb81f0b982138fff3d886cded718ab2835aa86e","first_computed_at":"2026-07-05T00:16:05.207850Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:16:05.207850Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"y35Nar5V+3Im7GQBYAtcBW1VZ37GRuEngD9aqBO9mdAKP+VWhjssz99PlwjkpiZvJBcEFvNLiNVzQF+iWDnTCA==","signature_status":"signed_v1","signed_at":"2026-07-05T00:16:05.208323Z","signed_message":"canonical_sha256_bytes"},"source_id":"1908.04625","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2f2a35f87462c201ab707162a123362ace7085e0e010e9fc280b9a63b3b7fdec","sha256:6fcd640af2ed8a6e403dfa1ec7a535afd1e11ed20b4408c9ead8a9029065dc33"],"state_sha256":"1e16147456e9c0dcd86acf0a147fbadbd36396fb45aa1d50fb64ccc1dc9b11b4"}