{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:FSBCTYOMYSBPUT5DQE44B4MYPY","short_pith_number":"pith:FSBCTYOM","canonical_record":{"source":{"id":"1905.07028","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-05-16T20:41:57Z","cross_cats_sorted":["cs.RO","cs.SC"],"title_canon_sha256":"13b76ced35112a01c51e0a1a02ec87c9924ec9efc24c1f88cfecf632510983cc","abstract_canon_sha256":"ed3d72f80fc16e6d0d3bb34bee87d7ceb48d14b9395d45c7df2e4620f81d1f61"},"schema_version":"1.0"},"canonical_sha256":"2c8229e1ccc482fa4fa38139c0f1987e11a1414959fb0ffbc5879b93cc722445","source":{"kind":"arxiv","id":"1905.07028","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.07028","created_at":"2026-05-17T23:45:57Z"},{"alias_kind":"arxiv_version","alias_value":"1905.07028v1","created_at":"2026-05-17T23:45:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.07028","created_at":"2026-05-17T23:45:57Z"},{"alias_kind":"pith_short_12","alias_value":"FSBCTYOMYSBP","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_16","alias_value":"FSBCTYOMYSBPUT5D","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_8","alias_value":"FSBCTYOM","created_at":"2026-05-18T12:33:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:FSBCTYOMYSBPUT5DQE44B4MYPY","target":"record","payload":{"canonical_record":{"source":{"id":"1905.07028","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-05-16T20:41:57Z","cross_cats_sorted":["cs.RO","cs.SC"],"title_canon_sha256":"13b76ced35112a01c51e0a1a02ec87c9924ec9efc24c1f88cfecf632510983cc","abstract_canon_sha256":"ed3d72f80fc16e6d0d3bb34bee87d7ceb48d14b9395d45c7df2e4620f81d1f61"},"schema_version":"1.0"},"canonical_sha256":"2c8229e1ccc482fa4fa38139c0f1987e11a1414959fb0ffbc5879b93cc722445","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:45:57.506412Z","signature_b64":"qn+VRmIYNYOrm8GbzOsjzdJy6oyL6xc7ZUAx0vX3ptMjE720bBxsq52iSlj5Xlfdie8wfyXKWBBo7L6THdbrBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2c8229e1ccc482fa4fa38139c0f1987e11a1414959fb0ffbc5879b93cc722445","last_reissued_at":"2026-05-17T23:45:57.505917Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:45:57.505917Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1905.07028","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-17T23:45:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qxDFiCgGfPKJUZBvj7Y4zaWy35PYtY+fP1u+MME8v5fa5c1EwsRIf3OnAMNbR0vQimj+YvFfOyog6xD2LtkJAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T20:10:54.210564Z"},"content_sha256":"b0dc286d4e8d4dbbca31389b90a55e4df45dc2682a32320fe9d572d71be011f1","schema_version":"1.0","event_id":"sha256:b0dc286d4e8d4dbbca31389b90a55e4df45dc2682a32320fe9d572d71be011f1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:FSBCTYOMYSBPUT5DQE44B4MYPY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Correctness Result for Synthesizing Plans With Loops in Stochastic Domains","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO","cs.SC"],"primary_cat":"cs.AI","authors_text":"Laszlo Treszkai, Vaishak Belle","submitted_at":"2019-05-16T20:41:57Z","abstract_excerpt":"Finite-state controllers (FSCs), such as plans with loops, are powerful and compact representations of action selection widely used in robotics, video games and logistics. There has been steady progress on synthesizing FSCs in deterministic environments, but the algorithmic machinery needed for lifting such techniques to stochastic environments is not yet fully understood. While the derivation of FSCs has received some attention in the context of discounted expected reward measures, they are often solved approximately and/or without correctness guarantees. In essence, that makes it difficult t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.07028","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-17T23:45:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0yEb5OMtjnmVEQAJ3eFyrC4gONl7uCkDZGgheb6jJJ7nGB2jz1DZegJJvg3VUm/7hVdc/a8uA4VXsadpyWMnCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T20:10:54.210900Z"},"content_sha256":"1623d71ee863b05a1394b4f7da742064cc4e66d534c2e7a9fd01575e4e9581dc","schema_version":"1.0","event_id":"sha256:1623d71ee863b05a1394b4f7da742064cc4e66d534c2e7a9fd01575e4e9581dc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FSBCTYOMYSBPUT5DQE44B4MYPY/bundle.json","state_url":"https://pith.science/pith/FSBCTYOMYSBPUT5DQE44B4MYPY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FSBCTYOMYSBPUT5DQE44B4MYPY/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-26T20:10:54Z","links":{"resolver":"https://pith.science/pith/FSBCTYOMYSBPUT5DQE44B4MYPY","bundle":"https://pith.science/pith/FSBCTYOMYSBPUT5DQE44B4MYPY/bundle.json","state":"https://pith.science/pith/FSBCTYOMYSBPUT5DQE44B4MYPY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FSBCTYOMYSBPUT5DQE44B4MYPY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:FSBCTYOMYSBPUT5DQE44B4MYPY","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":"ed3d72f80fc16e6d0d3bb34bee87d7ceb48d14b9395d45c7df2e4620f81d1f61","cross_cats_sorted":["cs.RO","cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-05-16T20:41:57Z","title_canon_sha256":"13b76ced35112a01c51e0a1a02ec87c9924ec9efc24c1f88cfecf632510983cc"},"schema_version":"1.0","source":{"id":"1905.07028","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.07028","created_at":"2026-05-17T23:45:57Z"},{"alias_kind":"arxiv_version","alias_value":"1905.07028v1","created_at":"2026-05-17T23:45:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.07028","created_at":"2026-05-17T23:45:57Z"},{"alias_kind":"pith_short_12","alias_value":"FSBCTYOMYSBP","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_16","alias_value":"FSBCTYOMYSBPUT5D","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_8","alias_value":"FSBCTYOM","created_at":"2026-05-18T12:33:15Z"}],"graph_snapshots":[{"event_id":"sha256:1623d71ee863b05a1394b4f7da742064cc4e66d534c2e7a9fd01575e4e9581dc","target":"graph","created_at":"2026-05-17T23:45:57Z","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":"Finite-state controllers (FSCs), such as plans with loops, are powerful and compact representations of action selection widely used in robotics, video games and logistics. There has been steady progress on synthesizing FSCs in deterministic environments, but the algorithmic machinery needed for lifting such techniques to stochastic environments is not yet fully understood. While the derivation of FSCs has received some attention in the context of discounted expected reward measures, they are often solved approximately and/or without correctness guarantees. In essence, that makes it difficult t","authors_text":"Laszlo Treszkai, Vaishak Belle","cross_cats":["cs.RO","cs.SC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-05-16T20:41:57Z","title":"A Correctness Result for Synthesizing Plans With Loops in Stochastic Domains"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.07028","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:b0dc286d4e8d4dbbca31389b90a55e4df45dc2682a32320fe9d572d71be011f1","target":"record","created_at":"2026-05-17T23:45:57Z","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":"ed3d72f80fc16e6d0d3bb34bee87d7ceb48d14b9395d45c7df2e4620f81d1f61","cross_cats_sorted":["cs.RO","cs.SC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-05-16T20:41:57Z","title_canon_sha256":"13b76ced35112a01c51e0a1a02ec87c9924ec9efc24c1f88cfecf632510983cc"},"schema_version":"1.0","source":{"id":"1905.07028","kind":"arxiv","version":1}},"canonical_sha256":"2c8229e1ccc482fa4fa38139c0f1987e11a1414959fb0ffbc5879b93cc722445","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2c8229e1ccc482fa4fa38139c0f1987e11a1414959fb0ffbc5879b93cc722445","first_computed_at":"2026-05-17T23:45:57.505917Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:45:57.505917Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qn+VRmIYNYOrm8GbzOsjzdJy6oyL6xc7ZUAx0vX3ptMjE720bBxsq52iSlj5Xlfdie8wfyXKWBBo7L6THdbrBg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:45:57.506412Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.07028","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b0dc286d4e8d4dbbca31389b90a55e4df45dc2682a32320fe9d572d71be011f1","sha256:1623d71ee863b05a1394b4f7da742064cc4e66d534c2e7a9fd01575e4e9581dc"],"state_sha256":"293d81468128e793dbc04704f324972f6cc6ff205cbc8ca3c9beb4be9b567cac"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JCmLeyPCx0OHqgtLSOBBmT0dLpmKAo/73HJSSYmNIU1V0/EKiT2yNd9LyOFRLXPgKhSyU/LzmZ5ttmKRI+8yDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T20:10:54.212690Z","bundle_sha256":"4fea5b385590afa6691db57b153d3a7dd63186ac2b9d54eaa0054752a3aaf17b"}}