{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:CNU7CLV3IRJ76W3VMC73EMHXN6","short_pith_number":"pith:CNU7CLV3","canonical_record":{"source":{"id":"1710.05763","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-10-16T14:47:28Z","cross_cats_sorted":[],"title_canon_sha256":"f38a5b017581ea6ad6f7225a255f7b1a5037480b29eb5e6afaaa0071dea3f25a","abstract_canon_sha256":"b169f53111b4fb4192636a949997c65368fa5967e8d2f3cefe95b1e96f259f48"},"schema_version":"1.0"},"canonical_sha256":"1369f12ebb4453ff5b7560bfb230f76faef3cd820d2b255ebcb17ae253364a19","source":{"kind":"arxiv","id":"1710.05763","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.05763","created_at":"2026-05-18T00:32:48Z"},{"alias_kind":"arxiv_version","alias_value":"1710.05763v1","created_at":"2026-05-18T00:32:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.05763","created_at":"2026-05-18T00:32:48Z"},{"alias_kind":"pith_short_12","alias_value":"CNU7CLV3IRJ7","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"CNU7CLV3IRJ76W3V","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"CNU7CLV3","created_at":"2026-05-18T12:31:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:CNU7CLV3IRJ76W3VMC73EMHXN6","target":"record","payload":{"canonical_record":{"source":{"id":"1710.05763","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-10-16T14:47:28Z","cross_cats_sorted":[],"title_canon_sha256":"f38a5b017581ea6ad6f7225a255f7b1a5037480b29eb5e6afaaa0071dea3f25a","abstract_canon_sha256":"b169f53111b4fb4192636a949997c65368fa5967e8d2f3cefe95b1e96f259f48"},"schema_version":"1.0"},"canonical_sha256":"1369f12ebb4453ff5b7560bfb230f76faef3cd820d2b255ebcb17ae253364a19","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:32:48.241238Z","signature_b64":"rHHk/8EE1Etv6CVrTSjImqdrmWjdzbw+YM282PQzeat8mKORHX5y/TzJ//o3fNxt4Ore4yz1dHOQHwSFgyaBAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1369f12ebb4453ff5b7560bfb230f76faef3cd820d2b255ebcb17ae253364a19","last_reissued_at":"2026-05-18T00:32:48.240389Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:32:48.240389Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1710.05763","source_version":1,"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-18T00:32:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XGWGRsJrXkoVR7DWcZiTxIYSywCqq/xd4Vo+IIvIdJ73JJseHE/TT41o25LtPgUPBO5Wt9kecun+weW82KeaBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T10:07:39.940963Z"},"content_sha256":"ce87b83e4044b68a5362c8d1304caeb3ad56c37607cc9e53a24c2f417982d289","schema_version":"1.0","event_id":"sha256:ce87b83e4044b68a5362c8d1304caeb3ad56c37607cc9e53a24c2f417982d289"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:CNU7CLV3IRJ76W3VMC73EMHXN6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Hierarchy of Scheduler Classes for Stochastic Automata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Arnd Hartmanns, Marcus Gerhold, Pedro R. D'Argenio, Sean Sedwards","submitted_at":"2017-10-16T14:47:28Z","abstract_excerpt":"Stochastic automata are a formal compositional model for concurrent stochastic timed systems, with general distributions and non-deterministic choices. Measures of interest are defined over schedulers that resolve the nondeterminism. In this paper we investigate the power of various theoretically and practically motivated classes of schedulers, considering the classic complete-information view and a restriction to non-prophetic schedulers. We prove a hierarchy of scheduler classes w.r.t. unbounded probabilistic reachability. We find that, unlike Markovian formalisms, stochastic automata distin"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.05763","kind":"arxiv","version":1},"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-18T00:32:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UIXAMn+SWtGrOKE7JhkbTzXzBaXHt4bpEf0B8s7Yp29yotuToIMyuU8FJj4mRmvUH0vE3GMZECQr14psqsmlDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T10:07:39.941298Z"},"content_sha256":"32af32540bfa672963945fde9a477f58fc2ea9b29c45eace8a58c28e9a428380","schema_version":"1.0","event_id":"sha256:32af32540bfa672963945fde9a477f58fc2ea9b29c45eace8a58c28e9a428380"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CNU7CLV3IRJ76W3VMC73EMHXN6/bundle.json","state_url":"https://pith.science/pith/CNU7CLV3IRJ76W3VMC73EMHXN6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CNU7CLV3IRJ76W3VMC73EMHXN6/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-06-25T10:07:39Z","links":{"resolver":"https://pith.science/pith/CNU7CLV3IRJ76W3VMC73EMHXN6","bundle":"https://pith.science/pith/CNU7CLV3IRJ76W3VMC73EMHXN6/bundle.json","state":"https://pith.science/pith/CNU7CLV3IRJ76W3VMC73EMHXN6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CNU7CLV3IRJ76W3VMC73EMHXN6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:CNU7CLV3IRJ76W3VMC73EMHXN6","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":"b169f53111b4fb4192636a949997c65368fa5967e8d2f3cefe95b1e96f259f48","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-10-16T14:47:28Z","title_canon_sha256":"f38a5b017581ea6ad6f7225a255f7b1a5037480b29eb5e6afaaa0071dea3f25a"},"schema_version":"1.0","source":{"id":"1710.05763","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.05763","created_at":"2026-05-18T00:32:48Z"},{"alias_kind":"arxiv_version","alias_value":"1710.05763v1","created_at":"2026-05-18T00:32:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.05763","created_at":"2026-05-18T00:32:48Z"},{"alias_kind":"pith_short_12","alias_value":"CNU7CLV3IRJ7","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"CNU7CLV3IRJ76W3V","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"CNU7CLV3","created_at":"2026-05-18T12:31:10Z"}],"graph_snapshots":[{"event_id":"sha256:32af32540bfa672963945fde9a477f58fc2ea9b29c45eace8a58c28e9a428380","target":"graph","created_at":"2026-05-18T00:32:48Z","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":"Stochastic automata are a formal compositional model for concurrent stochastic timed systems, with general distributions and non-deterministic choices. Measures of interest are defined over schedulers that resolve the nondeterminism. In this paper we investigate the power of various theoretically and practically motivated classes of schedulers, considering the classic complete-information view and a restriction to non-prophetic schedulers. We prove a hierarchy of scheduler classes w.r.t. unbounded probabilistic reachability. We find that, unlike Markovian formalisms, stochastic automata distin","authors_text":"Arnd Hartmanns, Marcus Gerhold, Pedro R. D'Argenio, Sean Sedwards","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-10-16T14:47:28Z","title":"A Hierarchy of Scheduler Classes for Stochastic Automata"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.05763","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:ce87b83e4044b68a5362c8d1304caeb3ad56c37607cc9e53a24c2f417982d289","target":"record","created_at":"2026-05-18T00:32:48Z","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":"b169f53111b4fb4192636a949997c65368fa5967e8d2f3cefe95b1e96f259f48","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-10-16T14:47:28Z","title_canon_sha256":"f38a5b017581ea6ad6f7225a255f7b1a5037480b29eb5e6afaaa0071dea3f25a"},"schema_version":"1.0","source":{"id":"1710.05763","kind":"arxiv","version":1}},"canonical_sha256":"1369f12ebb4453ff5b7560bfb230f76faef3cd820d2b255ebcb17ae253364a19","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1369f12ebb4453ff5b7560bfb230f76faef3cd820d2b255ebcb17ae253364a19","first_computed_at":"2026-05-18T00:32:48.240389Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:32:48.240389Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rHHk/8EE1Etv6CVrTSjImqdrmWjdzbw+YM282PQzeat8mKORHX5y/TzJ//o3fNxt4Ore4yz1dHOQHwSFgyaBAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:32:48.241238Z","signed_message":"canonical_sha256_bytes"},"source_id":"1710.05763","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ce87b83e4044b68a5362c8d1304caeb3ad56c37607cc9e53a24c2f417982d289","sha256:32af32540bfa672963945fde9a477f58fc2ea9b29c45eace8a58c28e9a428380"],"state_sha256":"6ad3481904420d2e320815b590eb9e725dbe281a4412a8186b40f3eae481d58e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hlCubOlSGulj9wli3+XroS1Z13vzhE7UyBUeg/n8e96DNKgZAmGmsMvIgt7ckdAb0r6b8JNu+LDRYKcoKyXMDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T10:07:39.943173Z","bundle_sha256":"f94401e3640c6c6cd39b6ed7833e33e9d191ea981a99dda0bec6c0df508c1c5e"}}