{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:2EH2P7OJUIXUKRWNIUE2ECWLVU","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":"3b2c268db3acb7b3ea120a4e4bed4cfc8886d295b52c84a001399367beefcc4a","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2025-02-18T14:04:29Z","title_canon_sha256":"77d04a2d17e3dbdadc3409b659adb4886ad712ded7951919a4cf7e814fe7818d"},"schema_version":"1.0","source":{"id":"2502.12872","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.12872","created_at":"2026-05-29T17:05:58Z"},{"alias_kind":"arxiv_version","alias_value":"2502.12872v1","created_at":"2026-05-29T17:05:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.12872","created_at":"2026-05-29T17:05:58Z"},{"alias_kind":"pith_short_12","alias_value":"2EH2P7OJUIXU","created_at":"2026-05-29T17:05:58Z"},{"alias_kind":"pith_short_16","alias_value":"2EH2P7OJUIXUKRWN","created_at":"2026-05-29T17:05:58Z"},{"alias_kind":"pith_short_8","alias_value":"2EH2P7OJ","created_at":"2026-05-29T17:05:58Z"}],"graph_snapshots":[{"event_id":"sha256:6205aaed8589ce710b66a62c0770ced58c991ef7abd76385c66baee23239d5fb","target":"graph","created_at":"2026-05-29T17:05:58Z","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/2502.12872/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In automata theory, while determinisation provides a standard route to solving many common problems in automata theory, some weak forms of nondeterminism can be dealt with in some problems without costly determinisation. For example, the handling of specifications given by nondeterministic automata over infinite words for the problems of reactive synthesis or runtime verification requires resolving nondeterministic choices without knowing the future of the input word. We define and study classes of $\\omega$-regular automata for which the nondeterminism can be resolved by a policy that uses a c","authors_text":"Keya Prakash, K. S. Thejaswini, Thomas A. Henzinger","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2025-02-18T14:04:29Z","title":"Resolving Nondeterminism with Randomness"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.12872","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:49578d385afcf016a7387679fa32fd496f291a6077e83958b3f9e564faded6c7","target":"record","created_at":"2026-05-29T17:05:58Z","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":"3b2c268db3acb7b3ea120a4e4bed4cfc8886d295b52c84a001399367beefcc4a","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2025-02-18T14:04:29Z","title_canon_sha256":"77d04a2d17e3dbdadc3409b659adb4886ad712ded7951919a4cf7e814fe7818d"},"schema_version":"1.0","source":{"id":"2502.12872","kind":"arxiv","version":1}},"canonical_sha256":"d10fa7fdc9a22f4546cd4509a20acbad2565bd549f36025ebbb90f0828aa0436","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d10fa7fdc9a22f4546cd4509a20acbad2565bd549f36025ebbb90f0828aa0436","first_computed_at":"2026-05-29T17:05:58.900135Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-29T17:05:58.900135Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EX4yCCTYS69S5LALBdDb2Cb6AnWT9l9Me8mpNM5EhfgAOiaLFg5vZ2c6daAm0O8SbWbZf9CkqTBmKluagClJAQ==","signature_status":"signed_v1","signed_at":"2026-05-29T17:05:58.902682Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.12872","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:49578d385afcf016a7387679fa32fd496f291a6077e83958b3f9e564faded6c7","sha256:6205aaed8589ce710b66a62c0770ced58c991ef7abd76385c66baee23239d5fb"],"state_sha256":"1d4b70dcdb24a788790461673bcfcd609891c1745cb5c7d771a26ff3d7bc25c1"}