{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:KK7BQALQAOTSRMJZNR3BDVN5JO","short_pith_number":"pith:KK7BQALQ","canonical_record":{"source":{"id":"2203.10803","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2022-03-21T08:52:24Z","cross_cats_sorted":[],"title_canon_sha256":"986a7f8a42b7fd6d667998010a1ced35595ec50fd7576cd7b67df20f90361497","abstract_canon_sha256":"46b2181f7f4bf32bd082e7092819ca187322e326532eca782be969d05db814e4"},"schema_version":"1.0"},"canonical_sha256":"52be18017003a728b1396c7611d5bd4bb5dd3af49a2f0f08a3757f7bd677d8b1","source":{"kind":"arxiv","id":"2203.10803","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2203.10803","created_at":"2026-07-05T04:07:45Z"},{"alias_kind":"arxiv_version","alias_value":"2203.10803v2","created_at":"2026-07-05T04:07:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2203.10803","created_at":"2026-07-05T04:07:45Z"},{"alias_kind":"pith_short_12","alias_value":"KK7BQALQAOTS","created_at":"2026-07-05T04:07:45Z"},{"alias_kind":"pith_short_16","alias_value":"KK7BQALQAOTSRMJZ","created_at":"2026-07-05T04:07:45Z"},{"alias_kind":"pith_short_8","alias_value":"KK7BQALQ","created_at":"2026-07-05T04:07:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:KK7BQALQAOTSRMJZNR3BDVN5JO","target":"record","payload":{"canonical_record":{"source":{"id":"2203.10803","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2022-03-21T08:52:24Z","cross_cats_sorted":[],"title_canon_sha256":"986a7f8a42b7fd6d667998010a1ced35595ec50fd7576cd7b67df20f90361497","abstract_canon_sha256":"46b2181f7f4bf32bd082e7092819ca187322e326532eca782be969d05db814e4"},"schema_version":"1.0"},"canonical_sha256":"52be18017003a728b1396c7611d5bd4bb5dd3af49a2f0f08a3757f7bd677d8b1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:07:45.194358Z","signature_b64":"/grFGXMOrIyMKU5pgdwrYftKuh1VZJ7lV35L0BvJ+HHOt30dL8tze8NQfHPviifZeERFqXfvrAAe9GdKWhITAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"52be18017003a728b1396c7611d5bd4bb5dd3af49a2f0f08a3757f7bd677d8b1","last_reissued_at":"2026-07-05T04:07:45.193776Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:07:45.193776Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2203.10803","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-07-05T04:07:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y2Yo7pQHMt69v9jwNyL2QSa8Mo+iV7jPmmcxS1JDRr75wlP0QZOi0la7JaUMk/E0JNjGvDOpg2Gb6mMmWhPzBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T16:33:06.772771Z"},"content_sha256":"771703c687110b13b4b14d95d812d442ec5ca4930aebf49592b3488f099012e5","schema_version":"1.0","event_id":"sha256:771703c687110b13b4b14d95d812d442ec5ca4930aebf49592b3488f099012e5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:KK7BQALQAOTSRMJZNR3BDVN5JO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Inductive Synthesis of Finite-State Controllers for POMDPs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Joost-Pieter Katoen, Milan Ceska, Roman Andriushchenko, Sebastian Junges","submitted_at":"2022-03-21T08:52:24Z","abstract_excerpt":"We present a novel learning framework to obtain finite-state controllers (FSCs) for partially observable Markov decision processes and illustrate its applicability for indefinite-horizon specifications. Our framework builds on oracle-guided inductive synthesis to explore a design space compactly representing available FSCs. The inductive synthesis approach consists of two stages: The outer stage determines the design space, i.e., the set of FSC candidates, while the inner stage efficiently explores the design space. This framework is easily generalisable and shows promising results when compar"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2203.10803","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2203.10803/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T04:07:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3Y2rOV6j+rZ9NqA2I+gvZtF7Zu2mX6gN2z0z3GIo/eIFsX0lbE0UPaz6c6mEjJm1d+8BcBGuFpJEr8/EfBXMBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T16:33:06.773759Z"},"content_sha256":"6dcef1fe04a18cbc4982340eb644cc26ec41379cb45f8d50e11bf2d2d8148404","schema_version":"1.0","event_id":"sha256:6dcef1fe04a18cbc4982340eb644cc26ec41379cb45f8d50e11bf2d2d8148404"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KK7BQALQAOTSRMJZNR3BDVN5JO/bundle.json","state_url":"https://pith.science/pith/KK7BQALQAOTSRMJZNR3BDVN5JO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KK7BQALQAOTSRMJZNR3BDVN5JO/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-08-13T16:33:06Z","links":{"resolver":"https://pith.science/pith/KK7BQALQAOTSRMJZNR3BDVN5JO","bundle":"https://pith.science/pith/KK7BQALQAOTSRMJZNR3BDVN5JO/bundle.json","state":"https://pith.science/pith/KK7BQALQAOTSRMJZNR3BDVN5JO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KK7BQALQAOTSRMJZNR3BDVN5JO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:KK7BQALQAOTSRMJZNR3BDVN5JO","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":"46b2181f7f4bf32bd082e7092819ca187322e326532eca782be969d05db814e4","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2022-03-21T08:52:24Z","title_canon_sha256":"986a7f8a42b7fd6d667998010a1ced35595ec50fd7576cd7b67df20f90361497"},"schema_version":"1.0","source":{"id":"2203.10803","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2203.10803","created_at":"2026-07-05T04:07:45Z"},{"alias_kind":"arxiv_version","alias_value":"2203.10803v2","created_at":"2026-07-05T04:07:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2203.10803","created_at":"2026-07-05T04:07:45Z"},{"alias_kind":"pith_short_12","alias_value":"KK7BQALQAOTS","created_at":"2026-07-05T04:07:45Z"},{"alias_kind":"pith_short_16","alias_value":"KK7BQALQAOTSRMJZ","created_at":"2026-07-05T04:07:45Z"},{"alias_kind":"pith_short_8","alias_value":"KK7BQALQ","created_at":"2026-07-05T04:07:45Z"}],"graph_snapshots":[{"event_id":"sha256:6dcef1fe04a18cbc4982340eb644cc26ec41379cb45f8d50e11bf2d2d8148404","target":"graph","created_at":"2026-07-05T04:07:45Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2203.10803/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present a novel learning framework to obtain finite-state controllers (FSCs) for partially observable Markov decision processes and illustrate its applicability for indefinite-horizon specifications. Our framework builds on oracle-guided inductive synthesis to explore a design space compactly representing available FSCs. The inductive synthesis approach consists of two stages: The outer stage determines the design space, i.e., the set of FSC candidates, while the inner stage efficiently explores the design space. This framework is easily generalisable and shows promising results when compar","authors_text":"Joost-Pieter Katoen, Milan Ceska, Roman Andriushchenko, Sebastian Junges","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2022-03-21T08:52:24Z","title":"Inductive Synthesis of Finite-State Controllers for POMDPs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2203.10803","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:771703c687110b13b4b14d95d812d442ec5ca4930aebf49592b3488f099012e5","target":"record","created_at":"2026-07-05T04:07:45Z","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":"46b2181f7f4bf32bd082e7092819ca187322e326532eca782be969d05db814e4","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2022-03-21T08:52:24Z","title_canon_sha256":"986a7f8a42b7fd6d667998010a1ced35595ec50fd7576cd7b67df20f90361497"},"schema_version":"1.0","source":{"id":"2203.10803","kind":"arxiv","version":2}},"canonical_sha256":"52be18017003a728b1396c7611d5bd4bb5dd3af49a2f0f08a3757f7bd677d8b1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"52be18017003a728b1396c7611d5bd4bb5dd3af49a2f0f08a3757f7bd677d8b1","first_computed_at":"2026-07-05T04:07:45.193776Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:07:45.193776Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/grFGXMOrIyMKU5pgdwrYftKuh1VZJ7lV35L0BvJ+HHOt30dL8tze8NQfHPviifZeERFqXfvrAAe9GdKWhITAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T04:07:45.194358Z","signed_message":"canonical_sha256_bytes"},"source_id":"2203.10803","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:771703c687110b13b4b14d95d812d442ec5ca4930aebf49592b3488f099012e5","sha256:6dcef1fe04a18cbc4982340eb644cc26ec41379cb45f8d50e11bf2d2d8148404"],"state_sha256":"2b3119447d27d8c56ec29d9478a5ada960969d624082f5e555999aa9af9ca1f2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6oBxC84CunD/J1oxqP4fDxLHekWJMC6qeGI9Ry6KjJX/9DEuZhrPaQLH1cPLZQpkTXNkgqgRqunegfVoSpArAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-13T16:33:06.780890Z","bundle_sha256":"0fc6fbfac882d8d1500e684df38cd8f9ed9df5dbc3b306110751e18f70167e50"}}