{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:IE6CMV3X2QY4GLCLJW5HJ3FRBY","short_pith_number":"pith:IE6CMV3X","canonical_record":{"source":{"id":"1703.07351","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-21T15:00:32Z","cross_cats_sorted":["cs.FL","cs.SY"],"title_canon_sha256":"0e35a1c16ac443c18ffd0d206ca9de51e14cec0e7d5108c68adfe6f38ee01d8a","abstract_canon_sha256":"d47eff13e8f2667ca8ebe678c96dddb2b02ac5769c08c973990d222e636e21ea"},"schema_version":"1.0"},"canonical_sha256":"413c265777d431c32c4b4dba74ecb10e0a6b7dac45122f8640d25cdac1b559fd","source":{"kind":"arxiv","id":"1703.07351","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.07351","created_at":"2026-05-18T00:48:09Z"},{"alias_kind":"arxiv_version","alias_value":"1703.07351v1","created_at":"2026-05-18T00:48:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.07351","created_at":"2026-05-18T00:48:09Z"},{"alias_kind":"pith_short_12","alias_value":"IE6CMV3X2QY4","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_16","alias_value":"IE6CMV3X2QY4GLCL","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_8","alias_value":"IE6CMV3X","created_at":"2026-05-18T12:31:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:IE6CMV3X2QY4GLCLJW5HJ3FRBY","target":"record","payload":{"canonical_record":{"source":{"id":"1703.07351","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-21T15:00:32Z","cross_cats_sorted":["cs.FL","cs.SY"],"title_canon_sha256":"0e35a1c16ac443c18ffd0d206ca9de51e14cec0e7d5108c68adfe6f38ee01d8a","abstract_canon_sha256":"d47eff13e8f2667ca8ebe678c96dddb2b02ac5769c08c973990d222e636e21ea"},"schema_version":"1.0"},"canonical_sha256":"413c265777d431c32c4b4dba74ecb10e0a6b7dac45122f8640d25cdac1b559fd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:48:09.008310Z","signature_b64":"uWBNuIGkp4+CUMBPhHAYetiyzrq7rMmypAnSLqX0jcuOcz8sOlVE+RuLeQPllMxPflm6ZsJKJdgxrXMjwpR9CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"413c265777d431c32c4b4dba74ecb10e0a6b7dac45122f8640d25cdac1b559fd","last_reissued_at":"2026-05-18T00:48:09.007788Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:48:09.007788Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1703.07351","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:48:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tqOvzTU+v42TJMcpvq+tu7M2hv1rH6FY52Yd8yIb+tjffZwVrTyIWmvLfGA7EkxU2jqTh9G5CdrbGspNYrHdBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-19T02:20:29.535969Z"},"content_sha256":"bb5498422b29abbb7199e5f9ac736e13537ba922e465a8ba9832276306bb7adb","schema_version":"1.0","event_id":"sha256:bb5498422b29abbb7199e5f9ac736e13537ba922e465a8ba9832276306bb7adb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:IE6CMV3X2QY4GLCLJW5HJ3FRBY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Permissive Supervisor Synthesis for Markov Decision Processes through Learning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL","cs.SY"],"primary_cat":"cs.LO","authors_text":"Bo Wu, Hai Lin, Xiaobin Zhang","submitted_at":"2017-03-21T15:00:32Z","abstract_excerpt":"This paper considers the permissive supervisor synthesis for probabilistic systems modeled as Markov Decision Processes (MDP). Such systems are prevalent in power grids, transportation networks, communication networks and robotics. Unlike centralized planning and optimization based planning, we propose a novel supervisor synthesis framework based on learning and compositional model checking to generate permissive local supervisors in a distributed manner. With the recent advance in assume-guarantee reasoning verification for probabilistic systems, building the composed system can be avoided to"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.07351","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:48:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dwvyBj1e4CiSxjcmylx14YPTqOF9a8e8Prpj9PE/K4fRRHoweMnh8K3SBPAMn8+xmmYAZ+7Um6u56Tfg4QqOAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-19T02:20:29.536641Z"},"content_sha256":"88b0f63a751a7bcb5c2e99789325d361a5ad141a87f8240313454a61d855964f","schema_version":"1.0","event_id":"sha256:88b0f63a751a7bcb5c2e99789325d361a5ad141a87f8240313454a61d855964f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IE6CMV3X2QY4GLCLJW5HJ3FRBY/bundle.json","state_url":"https://pith.science/pith/IE6CMV3X2QY4GLCLJW5HJ3FRBY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IE6CMV3X2QY4GLCLJW5HJ3FRBY/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-19T02:20:29Z","links":{"resolver":"https://pith.science/pith/IE6CMV3X2QY4GLCLJW5HJ3FRBY","bundle":"https://pith.science/pith/IE6CMV3X2QY4GLCLJW5HJ3FRBY/bundle.json","state":"https://pith.science/pith/IE6CMV3X2QY4GLCLJW5HJ3FRBY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IE6CMV3X2QY4GLCLJW5HJ3FRBY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:IE6CMV3X2QY4GLCLJW5HJ3FRBY","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":"d47eff13e8f2667ca8ebe678c96dddb2b02ac5769c08c973990d222e636e21ea","cross_cats_sorted":["cs.FL","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-21T15:00:32Z","title_canon_sha256":"0e35a1c16ac443c18ffd0d206ca9de51e14cec0e7d5108c68adfe6f38ee01d8a"},"schema_version":"1.0","source":{"id":"1703.07351","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.07351","created_at":"2026-05-18T00:48:09Z"},{"alias_kind":"arxiv_version","alias_value":"1703.07351v1","created_at":"2026-05-18T00:48:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.07351","created_at":"2026-05-18T00:48:09Z"},{"alias_kind":"pith_short_12","alias_value":"IE6CMV3X2QY4","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_16","alias_value":"IE6CMV3X2QY4GLCL","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_8","alias_value":"IE6CMV3X","created_at":"2026-05-18T12:31:21Z"}],"graph_snapshots":[{"event_id":"sha256:88b0f63a751a7bcb5c2e99789325d361a5ad141a87f8240313454a61d855964f","target":"graph","created_at":"2026-05-18T00:48:09Z","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":"This paper considers the permissive supervisor synthesis for probabilistic systems modeled as Markov Decision Processes (MDP). Such systems are prevalent in power grids, transportation networks, communication networks and robotics. Unlike centralized planning and optimization based planning, we propose a novel supervisor synthesis framework based on learning and compositional model checking to generate permissive local supervisors in a distributed manner. With the recent advance in assume-guarantee reasoning verification for probabilistic systems, building the composed system can be avoided to","authors_text":"Bo Wu, Hai Lin, Xiaobin Zhang","cross_cats":["cs.FL","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-21T15:00:32Z","title":"Permissive Supervisor Synthesis for Markov Decision Processes through Learning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.07351","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:bb5498422b29abbb7199e5f9ac736e13537ba922e465a8ba9832276306bb7adb","target":"record","created_at":"2026-05-18T00:48:09Z","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":"d47eff13e8f2667ca8ebe678c96dddb2b02ac5769c08c973990d222e636e21ea","cross_cats_sorted":["cs.FL","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-21T15:00:32Z","title_canon_sha256":"0e35a1c16ac443c18ffd0d206ca9de51e14cec0e7d5108c68adfe6f38ee01d8a"},"schema_version":"1.0","source":{"id":"1703.07351","kind":"arxiv","version":1}},"canonical_sha256":"413c265777d431c32c4b4dba74ecb10e0a6b7dac45122f8640d25cdac1b559fd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"413c265777d431c32c4b4dba74ecb10e0a6b7dac45122f8640d25cdac1b559fd","first_computed_at":"2026-05-18T00:48:09.007788Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:48:09.007788Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uWBNuIGkp4+CUMBPhHAYetiyzrq7rMmypAnSLqX0jcuOcz8sOlVE+RuLeQPllMxPflm6ZsJKJdgxrXMjwpR9CQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:48:09.008310Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.07351","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bb5498422b29abbb7199e5f9ac736e13537ba922e465a8ba9832276306bb7adb","sha256:88b0f63a751a7bcb5c2e99789325d361a5ad141a87f8240313454a61d855964f"],"state_sha256":"89bb4989643b7a1895e79723a82b29ff0dfdc76ac8195a797e656b98e186e120"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Fm0OzhzzmwN+RWMhkfJZsFkQqxk+/hhGJ61lohldzQEAWkYyTSGbjtROdA+GjN8QqT8qSmbaj/SU2ATEIu8bAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-19T02:20:29.538755Z","bundle_sha256":"1e0e80ceec3cf64841ba31dbc152562d7b80cd635136f486ecabe3ed204a263c"}}