{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:Z53FQWWCHWOQOXLM6FSWFOWGSN","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":"531769be9fdd7e7689b6cde964440ec4795cd6b8118e878c12aecc85f38e7860","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2019-06-07T16:32:16Z","title_canon_sha256":"f3820bebdd8d31befcfd384e932698cd0781955aeda954cddff4b7c8d8d2d244"},"schema_version":"1.0","source":{"id":"1906.03218","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.03218","created_at":"2026-07-05T00:44:56Z"},{"alias_kind":"arxiv_version","alias_value":"1906.03218v3","created_at":"2026-07-05T00:44:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.03218","created_at":"2026-07-05T00:44:56Z"},{"alias_kind":"pith_short_12","alias_value":"Z53FQWWCHWOQ","created_at":"2026-07-05T00:44:56Z"},{"alias_kind":"pith_short_16","alias_value":"Z53FQWWCHWOQOXLM","created_at":"2026-07-05T00:44:56Z"},{"alias_kind":"pith_short_8","alias_value":"Z53FQWWC","created_at":"2026-07-05T00:44:56Z"}],"graph_snapshots":[{"event_id":"sha256:125de3f6b70b50e48c7cd0e037b0d30fc910f6d71192a18c607a86713944e630","target":"graph","created_at":"2026-07-05T00:44:56Z","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/1906.03218/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Reward engineering is crucial to high performance in reinforcement learning systems. Prior research into reward design has largely focused on Markovian functions representing the reward. While there has been research into expressing non-Markov rewards as linear temporal logic (LTL) formulas, this has focused on task specifications directly defined by the user. However, in many real-world applications, task specifications are ambiguous, and can only be expressed as a belief over LTL formulas. In this paper, we introduce planning with uncertain specifications (PUnS), a novel formulation that add","authors_text":"Ankit Shah, Julie Shah, Shen Li","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2019-06-07T16:32:16Z","title":"Planning With Uncertain Specifications (PUnS)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.03218","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:9d00dcd3ced4660cf173e5f4cda75d78b205b38b8fac12e3ea03e31f84cc2266","target":"record","created_at":"2026-07-05T00:44:56Z","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":"531769be9fdd7e7689b6cde964440ec4795cd6b8118e878c12aecc85f38e7860","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2019-06-07T16:32:16Z","title_canon_sha256":"f3820bebdd8d31befcfd384e932698cd0781955aeda954cddff4b7c8d8d2d244"},"schema_version":"1.0","source":{"id":"1906.03218","kind":"arxiv","version":3}},"canonical_sha256":"cf76585ac23d9d075d6cf16562bac693715af662b133d1828d5a8a7c5efb2083","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cf76585ac23d9d075d6cf16562bac693715af662b133d1828d5a8a7c5efb2083","first_computed_at":"2026-07-05T00:44:56.252557Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:44:56.252557Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hpUdHp2hbLeQ/nH4PAbMqUxyfuhrtecuoMyQphTkJWrIbJGkV7xANyDgi3Q92xB18DL6BntJCH6+DO/GXuETCA==","signature_status":"signed_v1","signed_at":"2026-07-05T00:44:56.253034Z","signed_message":"canonical_sha256_bytes"},"source_id":"1906.03218","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9d00dcd3ced4660cf173e5f4cda75d78b205b38b8fac12e3ea03e31f84cc2266","sha256:125de3f6b70b50e48c7cd0e037b0d30fc910f6d71192a18c607a86713944e630"],"state_sha256":"83cb5e9f9bd5463078636d458386b733cf6a26ded5c55c5477269451eba39445"}