{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:XKIPLK4I5BVYAQYZYSEHSA6CVV","short_pith_number":"pith:XKIPLK4I","canonical_record":{"source":{"id":"1703.08262","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-03-24T01:59:11Z","cross_cats_sorted":["cs.AI","cs.FL"],"title_canon_sha256":"a0eeb2ea4ebe669e68e9906bed243147dbfd5b2ed7e9a867bfe84dee47a75f15","abstract_canon_sha256":"bd140eb2e5bf16f4bcdb9a5be8d1ffc93b64e760931c79d0d406e89796a25402"},"schema_version":"1.0"},"canonical_sha256":"ba90f5ab88e86b804319c4887903c2ad56329df6ac29c3e5f556cca603dcc1b8","source":{"kind":"arxiv","id":"1703.08262","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.08262","created_at":"2026-05-18T00:48:00Z"},{"alias_kind":"arxiv_version","alias_value":"1703.08262v1","created_at":"2026-05-18T00:48:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.08262","created_at":"2026-05-18T00:48:00Z"},{"alias_kind":"pith_short_12","alias_value":"XKIPLK4I5BVY","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_16","alias_value":"XKIPLK4I5BVYAQYZ","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_8","alias_value":"XKIPLK4I","created_at":"2026-05-18T12:31:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:XKIPLK4I5BVYAQYZYSEHSA6CVV","target":"record","payload":{"canonical_record":{"source":{"id":"1703.08262","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-03-24T01:59:11Z","cross_cats_sorted":["cs.AI","cs.FL"],"title_canon_sha256":"a0eeb2ea4ebe669e68e9906bed243147dbfd5b2ed7e9a867bfe84dee47a75f15","abstract_canon_sha256":"bd140eb2e5bf16f4bcdb9a5be8d1ffc93b64e760931c79d0d406e89796a25402"},"schema_version":"1.0"},"canonical_sha256":"ba90f5ab88e86b804319c4887903c2ad56329df6ac29c3e5f556cca603dcc1b8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:48:00.322438Z","signature_b64":"FyPnMQqE+Q0iR3q8YEHHWLSVXTgeRE25cc1B6vVwYgJ3IRTirj9y3CT7F5NU6Xe+aEWe3z0LtXtX1hta33UoDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ba90f5ab88e86b804319c4887903c2ad56329df6ac29c3e5f556cca603dcc1b8","last_reissued_at":"2026-05-18T00:48:00.321926Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:48:00.321926Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1703.08262","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:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/Pyhczn7DH2JHnN929GnRXxtNtVEL+5VORYnlnwYmIaAhwxKUQN1Bb2Uc4DqBCRx+ZYEqh7ZDQv6V2mC4xRiBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-18T17:25:00.224582Z"},"content_sha256":"35cc287ada6888e8983ba13a3aa488f686f51cb5eca6b2fb122683d385b87a16","schema_version":"1.0","event_id":"sha256:35cc287ada6888e8983ba13a3aa488f686f51cb5eca6b2fb122683d385b87a16"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:XKIPLK4I5BVYAQYZYSEHSA6CVV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Supervisor Synthesis of POMDP based on Automata Learning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.FL"],"primary_cat":"cs.SY","authors_text":"Bo Wu, Hai Lin, Xiaobin Zhang","submitted_at":"2017-03-24T01:59:11Z","abstract_excerpt":"As a general and thus popular model for autonomous systems, partially observable Markov decision process (POMDP) can capture uncertainties from different sources like sensing noises, actuation errors, and uncertain environments. However, its comprehensiveness makes the planning and control in POMDP difficult. Traditional POMDP planning problems target to find the optimal policy to maximize the expectation of accumulated rewards. But for safety critical applications, guarantees of system performance described by formal specifications are desired, which motivates us to consider formal methods to"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.08262","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:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mb7fDG+/OzpTZxmRq0kuifaV5mHqP7zkMZ1odtRPtzZ0nSJHF2Fz97VI7CNo3MN0SoC2WgIEJKYEK6yUjRbeDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-18T17:25:00.224970Z"},"content_sha256":"25f5a763e28e8d49bc799b73671ac302da35041c5ca5e4bfd280e2ac433cc4e2","schema_version":"1.0","event_id":"sha256:25f5a763e28e8d49bc799b73671ac302da35041c5ca5e4bfd280e2ac433cc4e2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XKIPLK4I5BVYAQYZYSEHSA6CVV/bundle.json","state_url":"https://pith.science/pith/XKIPLK4I5BVYAQYZYSEHSA6CVV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XKIPLK4I5BVYAQYZYSEHSA6CVV/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-18T17:25:00Z","links":{"resolver":"https://pith.science/pith/XKIPLK4I5BVYAQYZYSEHSA6CVV","bundle":"https://pith.science/pith/XKIPLK4I5BVYAQYZYSEHSA6CVV/bundle.json","state":"https://pith.science/pith/XKIPLK4I5BVYAQYZYSEHSA6CVV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XKIPLK4I5BVYAQYZYSEHSA6CVV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:XKIPLK4I5BVYAQYZYSEHSA6CVV","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":"bd140eb2e5bf16f4bcdb9a5be8d1ffc93b64e760931c79d0d406e89796a25402","cross_cats_sorted":["cs.AI","cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-03-24T01:59:11Z","title_canon_sha256":"a0eeb2ea4ebe669e68e9906bed243147dbfd5b2ed7e9a867bfe84dee47a75f15"},"schema_version":"1.0","source":{"id":"1703.08262","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.08262","created_at":"2026-05-18T00:48:00Z"},{"alias_kind":"arxiv_version","alias_value":"1703.08262v1","created_at":"2026-05-18T00:48:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.08262","created_at":"2026-05-18T00:48:00Z"},{"alias_kind":"pith_short_12","alias_value":"XKIPLK4I5BVY","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_16","alias_value":"XKIPLK4I5BVYAQYZ","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_8","alias_value":"XKIPLK4I","created_at":"2026-05-18T12:31:56Z"}],"graph_snapshots":[{"event_id":"sha256:25f5a763e28e8d49bc799b73671ac302da35041c5ca5e4bfd280e2ac433cc4e2","target":"graph","created_at":"2026-05-18T00:48:00Z","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":"As a general and thus popular model for autonomous systems, partially observable Markov decision process (POMDP) can capture uncertainties from different sources like sensing noises, actuation errors, and uncertain environments. However, its comprehensiveness makes the planning and control in POMDP difficult. Traditional POMDP planning problems target to find the optimal policy to maximize the expectation of accumulated rewards. But for safety critical applications, guarantees of system performance described by formal specifications are desired, which motivates us to consider formal methods to","authors_text":"Bo Wu, Hai Lin, Xiaobin Zhang","cross_cats":["cs.AI","cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-03-24T01:59:11Z","title":"Supervisor Synthesis of POMDP based on Automata Learning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.08262","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:35cc287ada6888e8983ba13a3aa488f686f51cb5eca6b2fb122683d385b87a16","target":"record","created_at":"2026-05-18T00:48:00Z","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":"bd140eb2e5bf16f4bcdb9a5be8d1ffc93b64e760931c79d0d406e89796a25402","cross_cats_sorted":["cs.AI","cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-03-24T01:59:11Z","title_canon_sha256":"a0eeb2ea4ebe669e68e9906bed243147dbfd5b2ed7e9a867bfe84dee47a75f15"},"schema_version":"1.0","source":{"id":"1703.08262","kind":"arxiv","version":1}},"canonical_sha256":"ba90f5ab88e86b804319c4887903c2ad56329df6ac29c3e5f556cca603dcc1b8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ba90f5ab88e86b804319c4887903c2ad56329df6ac29c3e5f556cca603dcc1b8","first_computed_at":"2026-05-18T00:48:00.321926Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:48:00.321926Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FyPnMQqE+Q0iR3q8YEHHWLSVXTgeRE25cc1B6vVwYgJ3IRTirj9y3CT7F5NU6Xe+aEWe3z0LtXtX1hta33UoDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:48:00.322438Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.08262","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:35cc287ada6888e8983ba13a3aa488f686f51cb5eca6b2fb122683d385b87a16","sha256:25f5a763e28e8d49bc799b73671ac302da35041c5ca5e4bfd280e2ac433cc4e2"],"state_sha256":"84c512c0bf63545ba11d00ff4fde105bc95dd74997427379ce66bd13f6feca29"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PQFyFavjTIwjUR+nMXZ7nxy5S23jZOJtZnMXByzPU6ITInPwwYMcAQbGOJrmrRMYsEtAHxV9p8XmgI6hTBKWDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-18T17:25:00.226374Z","bundle_sha256":"9f287a5f5d07d7f16aad15a0c8cddd898f058c03dd0367bbf4640f2a7908b76b"}}