{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:XSTD7BJFFDZH3ER5SXF5IFUJQP","short_pith_number":"pith:XSTD7BJF","canonical_record":{"source":{"id":"2305.14736","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-05-24T05:15:36Z","cross_cats_sorted":["cs.FL","cs.SY","eess.SY"],"title_canon_sha256":"69b7fef4f0381e374bff1b51dc2214e4f7403744cb180c8570d6f1555426f3e2","abstract_canon_sha256":"fc92ab2550d1a87736ff71ef1b8bf5398586396ec9fb401069c0c3f2a49a760a"},"schema_version":"1.0"},"canonical_sha256":"bca63f852528f27d923d95cbd4168983e17b93afeef48d5636e5416237b00bc6","source":{"kind":"arxiv","id":"2305.14736","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.14736","created_at":"2026-07-05T08:34:03Z"},{"alias_kind":"arxiv_version","alias_value":"2305.14736v3","created_at":"2026-07-05T08:34:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.14736","created_at":"2026-07-05T08:34:03Z"},{"alias_kind":"pith_short_12","alias_value":"XSTD7BJFFDZH","created_at":"2026-07-05T08:34:03Z"},{"alias_kind":"pith_short_16","alias_value":"XSTD7BJFFDZH3ER5","created_at":"2026-07-05T08:34:03Z"},{"alias_kind":"pith_short_8","alias_value":"XSTD7BJF","created_at":"2026-07-05T08:34:03Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:XSTD7BJFFDZH3ER5SXF5IFUJQP","target":"record","payload":{"canonical_record":{"source":{"id":"2305.14736","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-05-24T05:15:36Z","cross_cats_sorted":["cs.FL","cs.SY","eess.SY"],"title_canon_sha256":"69b7fef4f0381e374bff1b51dc2214e4f7403744cb180c8570d6f1555426f3e2","abstract_canon_sha256":"fc92ab2550d1a87736ff71ef1b8bf5398586396ec9fb401069c0c3f2a49a760a"},"schema_version":"1.0"},"canonical_sha256":"bca63f852528f27d923d95cbd4168983e17b93afeef48d5636e5416237b00bc6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:34:03.333297Z","signature_b64":"ImDYMz1vhCbwLrZXOyWIyo/bi1b9YdkDdiMp68cZkuUA5jDhmtTkSRodBpGyh6klj0goCFO7c9w3pwR46LXQDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bca63f852528f27d923d95cbd4168983e17b93afeef48d5636e5416237b00bc6","last_reissued_at":"2026-07-05T08:34:03.332783Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:34:03.332783Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2305.14736","source_version":3,"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-05T08:34:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YJS9Xd78RM327wEu59SQwYsFEcpREfJcnTSSsuSGNe6wVYYgjmN5wHLV15N94fnqVPBS6XlOBr6E+6KwxvhNCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T20:19:00.321628Z"},"content_sha256":"87e1b7fd0adffe7060eeea9f50e02b22c5556a790d9fa73725ecd63e9bc5e217","schema_version":"1.0","event_id":"sha256:87e1b7fd0adffe7060eeea9f50e02b22c5556a790d9fa73725ecd63e9bc5e217"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:XSTD7BJFFDZH3ER5SXF5IFUJQP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Optimal Control of Logically Constrained Partially Observable and Multi-Agent Markov Decision Processes","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.FL","cs.SY","eess.SY"],"primary_cat":"cs.AI","authors_text":"Ashutosh Nayyar, Dhruva Kartik, Dongming Shen, Krishna C. Kalagarla, Pierluigi Nuzzo, Rahul Jain","submitted_at":"2023-05-24T05:15:36Z","abstract_excerpt":"Autonomous systems often have logical constraints arising, for example, from safety, operational, or regulatory requirements. Such constraints can be expressed using temporal logic specifications. The system state is often partially observable. Moreover, it could encompass a team of multiple agents with a common objective but disparate information structures and constraints. In this paper, we first introduce an optimal control theory for partially observable Markov decision processes (POMDPs) with finite linear temporal logic constraints. We provide a structured methodology for synthesizing po"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.14736","kind":"arxiv","version":3},"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/2305.14736/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-05T08:34:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SEkpskDF/vchU4tY6m1aM8GCypjUQCA3IRrI0nQKEsG9FgMcC59KjDG6vFQ9xoCQYdYxLCwE48OBLxasjIx0Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T20:19:00.322170Z"},"content_sha256":"13582cb5b9425752b05542ef5116cabf769c357cd8478b5287801f2c5d2e2886","schema_version":"1.0","event_id":"sha256:13582cb5b9425752b05542ef5116cabf769c357cd8478b5287801f2c5d2e2886"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XSTD7BJFFDZH3ER5SXF5IFUJQP/bundle.json","state_url":"https://pith.science/pith/XSTD7BJFFDZH3ER5SXF5IFUJQP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XSTD7BJFFDZH3ER5SXF5IFUJQP/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-12T20:19:00Z","links":{"resolver":"https://pith.science/pith/XSTD7BJFFDZH3ER5SXF5IFUJQP","bundle":"https://pith.science/pith/XSTD7BJFFDZH3ER5SXF5IFUJQP/bundle.json","state":"https://pith.science/pith/XSTD7BJFFDZH3ER5SXF5IFUJQP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XSTD7BJFFDZH3ER5SXF5IFUJQP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:XSTD7BJFFDZH3ER5SXF5IFUJQP","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":"fc92ab2550d1a87736ff71ef1b8bf5398586396ec9fb401069c0c3f2a49a760a","cross_cats_sorted":["cs.FL","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-05-24T05:15:36Z","title_canon_sha256":"69b7fef4f0381e374bff1b51dc2214e4f7403744cb180c8570d6f1555426f3e2"},"schema_version":"1.0","source":{"id":"2305.14736","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.14736","created_at":"2026-07-05T08:34:03Z"},{"alias_kind":"arxiv_version","alias_value":"2305.14736v3","created_at":"2026-07-05T08:34:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.14736","created_at":"2026-07-05T08:34:03Z"},{"alias_kind":"pith_short_12","alias_value":"XSTD7BJFFDZH","created_at":"2026-07-05T08:34:03Z"},{"alias_kind":"pith_short_16","alias_value":"XSTD7BJFFDZH3ER5","created_at":"2026-07-05T08:34:03Z"},{"alias_kind":"pith_short_8","alias_value":"XSTD7BJF","created_at":"2026-07-05T08:34:03Z"}],"graph_snapshots":[{"event_id":"sha256:13582cb5b9425752b05542ef5116cabf769c357cd8478b5287801f2c5d2e2886","target":"graph","created_at":"2026-07-05T08:34:03Z","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/2305.14736/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Autonomous systems often have logical constraints arising, for example, from safety, operational, or regulatory requirements. Such constraints can be expressed using temporal logic specifications. The system state is often partially observable. Moreover, it could encompass a team of multiple agents with a common objective but disparate information structures and constraints. In this paper, we first introduce an optimal control theory for partially observable Markov decision processes (POMDPs) with finite linear temporal logic constraints. We provide a structured methodology for synthesizing po","authors_text":"Ashutosh Nayyar, Dhruva Kartik, Dongming Shen, Krishna C. Kalagarla, Pierluigi Nuzzo, Rahul Jain","cross_cats":["cs.FL","cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-05-24T05:15:36Z","title":"Optimal Control of Logically Constrained Partially Observable and Multi-Agent Markov Decision Processes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.14736","kind":"arxiv","version":3},"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:87e1b7fd0adffe7060eeea9f50e02b22c5556a790d9fa73725ecd63e9bc5e217","target":"record","created_at":"2026-07-05T08:34:03Z","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":"fc92ab2550d1a87736ff71ef1b8bf5398586396ec9fb401069c0c3f2a49a760a","cross_cats_sorted":["cs.FL","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-05-24T05:15:36Z","title_canon_sha256":"69b7fef4f0381e374bff1b51dc2214e4f7403744cb180c8570d6f1555426f3e2"},"schema_version":"1.0","source":{"id":"2305.14736","kind":"arxiv","version":3}},"canonical_sha256":"bca63f852528f27d923d95cbd4168983e17b93afeef48d5636e5416237b00bc6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bca63f852528f27d923d95cbd4168983e17b93afeef48d5636e5416237b00bc6","first_computed_at":"2026-07-05T08:34:03.332783Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:34:03.332783Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ImDYMz1vhCbwLrZXOyWIyo/bi1b9YdkDdiMp68cZkuUA5jDhmtTkSRodBpGyh6klj0goCFO7c9w3pwR46LXQDw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:34:03.333297Z","signed_message":"canonical_sha256_bytes"},"source_id":"2305.14736","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:87e1b7fd0adffe7060eeea9f50e02b22c5556a790d9fa73725ecd63e9bc5e217","sha256:13582cb5b9425752b05542ef5116cabf769c357cd8478b5287801f2c5d2e2886"],"state_sha256":"b1c7a337303a401efd83fef71ff9c9e7731daeca1b52e0c811394f9b1f01bfd6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9dAo1ufnby5WLdRY5ciSoOilnoKBBRIVutQ9Drw/3jWMPXwM5uYixgRNwhSZimbaiG1ZYmcSJfzu+S2kxRW2DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-12T20:19:00.327520Z","bundle_sha256":"fb545b4dc8016168402c2731c38a91209f1d6eb7e3439d9d6f09713a433d71ad"}}