{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:PUZ7STCFOOT7KTRRL5YLXNK66A","short_pith_number":"pith:PUZ7STCF","schema_version":"1.0","canonical_sha256":"7d33f94c4573a7f54e315f70bbb55ef021e38c759c8e008ef2509fe238216e0e","source":{"kind":"arxiv","id":"1109.2536","version":2},"attestation_state":"computed","paper":{"title":"Power of Randomization in Automata on Infinite Strings","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.FL","authors_text":"A. Prasad Sistla (Univ of Illinois, Chicago), ENS Cachan), Mahesh Viswanathan (Univ of Illinois, Rohit Chadha (LSV, Urbana Campaign)","submitted_at":"2011-09-12T17:09:08Z","abstract_excerpt":"Probabilistic B\\\"uchi Automata (PBA) are randomized, finite state automata that process input strings of infinite length. Based on the threshold chosen for the acceptance probability, different classes of languages can be defined. In this paper, we present a number of results that clarify the power of such machines and properties of the languages they define. The broad themes we focus on are as follows. We present results on the decidability and precise complexity of the emptiness, universality and language containment problems for such machines, thus answering questions central to the use of "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1109.2536","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2011-09-12T17:09:08Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"e41894712dc069c10908ad0cf956a1d9c91c77e7b8326bb5264a0e87fb229f26","abstract_canon_sha256":"0fe49053f2058395c70d55397d88c200391ea5dcdecfdc746994360555f63b76"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:39.260567Z","signature_b64":"ya/wR80kqCKNZp5slsz0dQ0XUaTbYW9MMJPadMcJBkp/BP4+1J73DOLTkpW31CmZyykymmYwoL/JDMLfnr2jDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7d33f94c4573a7f54e315f70bbb55ef021e38c759c8e008ef2509fe238216e0e","last_reissued_at":"2026-05-18T01:37:39.259931Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:39.259931Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Power of Randomization in Automata on Infinite Strings","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.FL","authors_text":"A. Prasad Sistla (Univ of Illinois, Chicago), ENS Cachan), Mahesh Viswanathan (Univ of Illinois, Rohit Chadha (LSV, Urbana Campaign)","submitted_at":"2011-09-12T17:09:08Z","abstract_excerpt":"Probabilistic B\\\"uchi Automata (PBA) are randomized, finite state automata that process input strings of infinite length. Based on the threshold chosen for the acceptance probability, different classes of languages can be defined. In this paper, we present a number of results that clarify the power of such machines and properties of the languages they define. The broad themes we focus on are as follows. We present results on the decidability and precise complexity of the emptiness, universality and language containment problems for such machines, thus answering questions central to the use of "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1109.2536","kind":"arxiv","version":2},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1109.2536","created_at":"2026-05-18T01:37:39.260022+00:00"},{"alias_kind":"arxiv_version","alias_value":"1109.2536v2","created_at":"2026-05-18T01:37:39.260022+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1109.2536","created_at":"2026-05-18T01:37:39.260022+00:00"},{"alias_kind":"pith_short_12","alias_value":"PUZ7STCFOOT7","created_at":"2026-05-18T12:26:39.201973+00:00"},{"alias_kind":"pith_short_16","alias_value":"PUZ7STCFOOT7KTRR","created_at":"2026-05-18T12:26:39.201973+00:00"},{"alias_kind":"pith_short_8","alias_value":"PUZ7STCF","created_at":"2026-05-18T12:26:39.201973+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/PUZ7STCFOOT7KTRRL5YLXNK66A","json":"https://pith.science/pith/PUZ7STCFOOT7KTRRL5YLXNK66A.json","graph_json":"https://pith.science/api/pith-number/PUZ7STCFOOT7KTRRL5YLXNK66A/graph.json","events_json":"https://pith.science/api/pith-number/PUZ7STCFOOT7KTRRL5YLXNK66A/events.json","paper":"https://pith.science/paper/PUZ7STCF"},"agent_actions":{"view_html":"https://pith.science/pith/PUZ7STCFOOT7KTRRL5YLXNK66A","download_json":"https://pith.science/pith/PUZ7STCFOOT7KTRRL5YLXNK66A.json","view_paper":"https://pith.science/paper/PUZ7STCF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1109.2536&json=true","fetch_graph":"https://pith.science/api/pith-number/PUZ7STCFOOT7KTRRL5YLXNK66A/graph.json","fetch_events":"https://pith.science/api/pith-number/PUZ7STCFOOT7KTRRL5YLXNK66A/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PUZ7STCFOOT7KTRRL5YLXNK66A/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PUZ7STCFOOT7KTRRL5YLXNK66A/action/storage_attestation","attest_author":"https://pith.science/pith/PUZ7STCFOOT7KTRRL5YLXNK66A/action/author_attestation","sign_citation":"https://pith.science/pith/PUZ7STCFOOT7KTRRL5YLXNK66A/action/citation_signature","submit_replication":"https://pith.science/pith/PUZ7STCFOOT7KTRRL5YLXNK66A/action/replication_record"}},"created_at":"2026-05-18T01:37:39.260022+00:00","updated_at":"2026-05-18T01:37:39.260022+00:00"}