{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:DM5DHSD7ID5WBGHZGGQLPWUOTF","short_pith_number":"pith:DM5DHSD7","canonical_record":{"source":{"id":"1906.08178","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-06-19T15:49:03Z","cross_cats_sorted":[],"title_canon_sha256":"33a76089e18a02bca61956e700791e425a044584bc491cebe527163a44b63b26","abstract_canon_sha256":"d19357bf98300b838c85252c7e477a1cf52aea19ac50293616a054f07aa8ab3a"},"schema_version":"1.0"},"canonical_sha256":"1b3a33c87f40fb6098f931a0b7da8e9960cc06f83291fa243d63fe1c65955959","source":{"kind":"arxiv","id":"1906.08178","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:DM5DHSD7ID5WBGHZGGQLPWUOTF","target":"record","payload":{"canonical_record":{"source":{"id":"1906.08178","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-06-19T15:49:03Z","cross_cats_sorted":[],"title_canon_sha256":"33a76089e18a02bca61956e700791e425a044584bc491cebe527163a44b63b26","abstract_canon_sha256":"d19357bf98300b838c85252c7e477a1cf52aea19ac50293616a054f07aa8ab3a"},"schema_version":"1.0"},"canonical_sha256":"1b3a33c87f40fb6098f931a0b7da8e9960cc06f83291fa243d63fe1c65955959","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:42:07.767626Z","signature_b64":"epsUsWVTF01/390EUc2w2jYryxFdbD27TODHvDdUDkngMo+gHixIsa6pBdtiAe7ZI8+bX60/QNMowCfYan10AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1b3a33c87f40fb6098f931a0b7da8e9960cc06f83291fa243d63fe1c65955959","last_reissued_at":"2026-05-17T23:42:07.766806Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:42:07.766806Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1906.08178","source_version":2,"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-05-17T23:42:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QDKQZLLWgsG4ViL+K0E0QZpLVzTr8J8aU12wcSHsjR/HPuZA0hYHeGbqOkZdkDztWiapA3OVaYrFf8NoCJ5bCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T08:28:38.934675Z"},"content_sha256":"22b84ec5381d0149eab64ff88ed8f8edf4778657b01eb36d3bc054eaab063d77","schema_version":"1.0","event_id":"sha256:22b84ec5381d0149eab64ff88ed8f8edf4778657b01eb36d3bc054eaab063d77"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:DM5DHSD7ID5WBGHZGGQLPWUOTF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Strategy Representation by Decision Trees with Linear Classifiers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Christoph H. Lampert, Jan K\\v{r}et\\'insk\\'y, Krishnendu Chatterjee, Pranav Ashok, Tom\\'a\\v{s} Br\\'azdil, Viktor Toman","submitted_at":"2019-06-19T15:49:03Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.08178","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"},"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-05-17T23:42:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IzliA+8ItSc3Fi2HCjo/fbtLY1GN/2rTK1FWc9EhkG8zxhI7G0/Lsn+xSUUdV9bpqhXp/dP0jJNynYEBULK5AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T08:28:38.935455Z"},"content_sha256":"9431ce7c40f29a972308ca430536d699191d1218c6c4fd1df6202b2cb1bca97c","schema_version":"1.0","event_id":"sha256:9431ce7c40f29a972308ca430536d699191d1218c6c4fd1df6202b2cb1bca97c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DM5DHSD7ID5WBGHZGGQLPWUOTF/bundle.json","state_url":"https://pith.science/pith/DM5DHSD7ID5WBGHZGGQLPWUOTF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DM5DHSD7ID5WBGHZGGQLPWUOTF/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-05-25T08:28:38Z","links":{"resolver":"https://pith.science/pith/DM5DHSD7ID5WBGHZGGQLPWUOTF","bundle":"https://pith.science/pith/DM5DHSD7ID5WBGHZGGQLPWUOTF/bundle.json","state":"https://pith.science/pith/DM5DHSD7ID5WBGHZGGQLPWUOTF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DM5DHSD7ID5WBGHZGGQLPWUOTF/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T0X/xmhuSwMmkmQjRJBZ6ClZSCpz2e/9Jv0+eLr9mRBL0qoMeNajuz3HrN7i75FMg4hGGUhMOWsfPFMQR6VpAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T08:28:38.939286Z","bundle_sha256":"bbe409f2f4cdb7c151b827bf73e4029dff250cc8623ec77a124ded08b209c06f"}}