{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:DM5DHSD7ID5WBGHZGGQLPWUOTF","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":"d19357bf98300b838c85252c7e477a1cf52aea19ac50293616a054f07aa8ab3a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-06-19T15:49:03Z","title_canon_sha256":"33a76089e18a02bca61956e700791e425a044584bc491cebe527163a44b63b26"},"schema_version":"1.0","source":{"id":"1906.08178","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.08178","created_at":"2026-05-17T23:42:07Z"},{"alias_kind":"arxiv_version","alias_value":"1906.08178v2","created_at":"2026-05-17T23:42:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.08178","created_at":"2026-05-17T23:42:07Z"},{"alias_kind":"pith_short_12","alias_value":"DM5DHSD7ID5W","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_16","alias_value":"DM5DHSD7ID5WBGHZ","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_8","alias_value":"DM5DHSD7","created_at":"2026-05-18T12:33:15Z"}],"graph_snapshots":[{"event_id":"sha256:9431ce7c40f29a972308ca430536d699191d1218c6c4fd1df6202b2cb1bca97c","target":"graph","created_at":"2026-05-17T23:42:07Z","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":"Graph games and Markov decision processes (MDPs) are standard models in reactive synthesis and verification of probabilistic systems with nondeterminism. The class of $\\omega$-regular winning conditions; e.g., safety, reachability, liveness, parity conditions; provides a robust and expressive specification formalism for properties that arise in analysis of reactive systems. The resolutions of nondeterminism in games and MDPs are represented as strategies, and we consider succinct representation of such strategies. The decision-tree data structure from machine learning retains the flavor of dec","authors_text":"Christoph H. Lampert, Jan K\\v{r}et\\'insk\\'y, Krishnendu Chatterjee, Pranav Ashok, Tom\\'a\\v{s} Br\\'azdil, Viktor Toman","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-06-19T15:49:03Z","title":"Strategy Representation by Decision Trees with Linear Classifiers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.08178","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:22b84ec5381d0149eab64ff88ed8f8edf4778657b01eb36d3bc054eaab063d77","target":"record","created_at":"2026-05-17T23:42:07Z","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":"d19357bf98300b838c85252c7e477a1cf52aea19ac50293616a054f07aa8ab3a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-06-19T15:49:03Z","title_canon_sha256":"33a76089e18a02bca61956e700791e425a044584bc491cebe527163a44b63b26"},"schema_version":"1.0","source":{"id":"1906.08178","kind":"arxiv","version":2}},"canonical_sha256":"1b3a33c87f40fb6098f931a0b7da8e9960cc06f83291fa243d63fe1c65955959","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1b3a33c87f40fb6098f931a0b7da8e9960cc06f83291fa243d63fe1c65955959","first_computed_at":"2026-05-17T23:42:07.766806Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:42:07.766806Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"epsUsWVTF01/390EUc2w2jYryxFdbD27TODHvDdUDkngMo+gHixIsa6pBdtiAe7ZI8+bX60/QNMowCfYan10AQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:42:07.767626Z","signed_message":"canonical_sha256_bytes"},"source_id":"1906.08178","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:22b84ec5381d0149eab64ff88ed8f8edf4778657b01eb36d3bc054eaab063d77","sha256:9431ce7c40f29a972308ca430536d699191d1218c6c4fd1df6202b2cb1bca97c"],"state_sha256":"2dbb1a6f22f4f91fcd74bd45c7a05aebdcdbd3041f956f442ff1a9741b481594"}