{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:UYJWDGJIKZIOF44RTVWYIFUA4T","short_pith_number":"pith:UYJWDGJI","canonical_record":{"source":{"id":"1905.12096","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2019-05-28T21:28:17Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"48f71937b34b0b4539ea73b0d5dedb18b9b877e1a482e0850de8d7d6e5eeed43","abstract_canon_sha256":"ea62943dc28eb4c18e4f5ae4a4c06e86ec1e2e0ae3a4db36bbe4a2cac8ea401b"},"schema_version":"1.0"},"canonical_sha256":"a6136199285650e2f3919d6d841680e4ed7eeb6b922f077afca05c54a425005f","source":{"kind":"arxiv","id":"1905.12096","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.12096","created_at":"2026-05-17T23:44:48Z"},{"alias_kind":"arxiv_version","alias_value":"1905.12096v1","created_at":"2026-05-17T23:44:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.12096","created_at":"2026-05-17T23:44:48Z"},{"alias_kind":"pith_short_12","alias_value":"UYJWDGJIKZIO","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"UYJWDGJIKZIOF44R","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"UYJWDGJI","created_at":"2026-05-18T12:33:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:UYJWDGJIKZIOF44RTVWYIFUA4T","target":"record","payload":{"canonical_record":{"source":{"id":"1905.12096","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2019-05-28T21:28:17Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"48f71937b34b0b4539ea73b0d5dedb18b9b877e1a482e0850de8d7d6e5eeed43","abstract_canon_sha256":"ea62943dc28eb4c18e4f5ae4a4c06e86ec1e2e0ae3a4db36bbe4a2cac8ea401b"},"schema_version":"1.0"},"canonical_sha256":"a6136199285650e2f3919d6d841680e4ed7eeb6b922f077afca05c54a425005f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:44:48.971389Z","signature_b64":"mFtd7hR3l/JlXbIPj1hLWGstiWbnTlqS9s9EelvNM3e7PSizCJbxenZNu9wbkBRm34DhzhlWJ4W9cAL8B2jCCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a6136199285650e2f3919d6d841680e4ed7eeb6b922f077afca05c54a425005f","last_reissued_at":"2026-05-17T23:44:48.970720Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:44:48.970720Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1905.12096","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:44:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GGL4YGyjtiet7Wc7SNbT7ewGC0FX7EcIGviBPq4WSOG29J0NkiuM3ikfiTpRPcX+8ahWYfoRxT5FIlKDX3fqAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T12:23:00.174565Z"},"content_sha256":"d7e0e85803dabe2a1c64cd65e84cf6d6be75273f4cd9038f0a3f5d59b1e72f64","schema_version":"1.0","event_id":"sha256:d7e0e85803dabe2a1c64cd65e84cf6d6be75273f4cd9038f0a3f5d59b1e72f64"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:UYJWDGJIKZIOF44RTVWYIFUA4T","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Planning with State Abstractions for Non-Markovian Task Specifications","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.RO","authors_text":"Baichuan Huang, Ellie Pavlick, Roma Patel, Stefanie Tellex, Thao Nguyen, Yoonseon Oh","submitted_at":"2019-05-28T21:28:17Z","abstract_excerpt":"Often times, we specify tasks for a robot using temporal language that can also span different levels of abstraction. The example command ``go to the kitchen before going to the second floor'' contains spatial abstraction, given that ``floor'' consists of individual rooms that can also be referred to in isolation (\"kitchen\", for example). There is also a temporal ordering of events, defined by the word \"before\". Previous works have used Linear Temporal Logic (LTL) to interpret temporal language (such as \"before\"), and Abstract Markov Decision Processes (AMDPs) to interpret hierarchical abstrac"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.12096","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:44:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TVB72O6MIhOlBzw2CeaTtPZZObQLjtW3qqXpEXugInWIl96E5uA8dnQ4JAOSd8UdC4UkLjd2sYcxmb3ZR25jCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T12:23:00.175153Z"},"content_sha256":"9e305f68a7c45d1cab79fbcadb0188895c1903be4b371e7d156fab5677172f04","schema_version":"1.0","event_id":"sha256:9e305f68a7c45d1cab79fbcadb0188895c1903be4b371e7d156fab5677172f04"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UYJWDGJIKZIOF44RTVWYIFUA4T/bundle.json","state_url":"https://pith.science/pith/UYJWDGJIKZIOF44RTVWYIFUA4T/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UYJWDGJIKZIOF44RTVWYIFUA4T/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-30T12:23:00Z","links":{"resolver":"https://pith.science/pith/UYJWDGJIKZIOF44RTVWYIFUA4T","bundle":"https://pith.science/pith/UYJWDGJIKZIOF44RTVWYIFUA4T/bundle.json","state":"https://pith.science/pith/UYJWDGJIKZIOF44RTVWYIFUA4T/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UYJWDGJIKZIOF44RTVWYIFUA4T/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:UYJWDGJIKZIOF44RTVWYIFUA4T","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":"ea62943dc28eb4c18e4f5ae4a4c06e86ec1e2e0ae3a4db36bbe4a2cac8ea401b","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2019-05-28T21:28:17Z","title_canon_sha256":"48f71937b34b0b4539ea73b0d5dedb18b9b877e1a482e0850de8d7d6e5eeed43"},"schema_version":"1.0","source":{"id":"1905.12096","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.12096","created_at":"2026-05-17T23:44:48Z"},{"alias_kind":"arxiv_version","alias_value":"1905.12096v1","created_at":"2026-05-17T23:44:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.12096","created_at":"2026-05-17T23:44:48Z"},{"alias_kind":"pith_short_12","alias_value":"UYJWDGJIKZIO","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"UYJWDGJIKZIOF44R","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"UYJWDGJI","created_at":"2026-05-18T12:33:30Z"}],"graph_snapshots":[{"event_id":"sha256:9e305f68a7c45d1cab79fbcadb0188895c1903be4b371e7d156fab5677172f04","target":"graph","created_at":"2026-05-17T23:44:48Z","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":"Often times, we specify tasks for a robot using temporal language that can also span different levels of abstraction. The example command ``go to the kitchen before going to the second floor'' contains spatial abstraction, given that ``floor'' consists of individual rooms that can also be referred to in isolation (\"kitchen\", for example). There is also a temporal ordering of events, defined by the word \"before\". Previous works have used Linear Temporal Logic (LTL) to interpret temporal language (such as \"before\"), and Abstract Markov Decision Processes (AMDPs) to interpret hierarchical abstrac","authors_text":"Baichuan Huang, Ellie Pavlick, Roma Patel, Stefanie Tellex, Thao Nguyen, Yoonseon Oh","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2019-05-28T21:28:17Z","title":"Planning with State Abstractions for Non-Markovian Task Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.12096","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:d7e0e85803dabe2a1c64cd65e84cf6d6be75273f4cd9038f0a3f5d59b1e72f64","target":"record","created_at":"2026-05-17T23:44:48Z","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":"ea62943dc28eb4c18e4f5ae4a4c06e86ec1e2e0ae3a4db36bbe4a2cac8ea401b","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2019-05-28T21:28:17Z","title_canon_sha256":"48f71937b34b0b4539ea73b0d5dedb18b9b877e1a482e0850de8d7d6e5eeed43"},"schema_version":"1.0","source":{"id":"1905.12096","kind":"arxiv","version":1}},"canonical_sha256":"a6136199285650e2f3919d6d841680e4ed7eeb6b922f077afca05c54a425005f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a6136199285650e2f3919d6d841680e4ed7eeb6b922f077afca05c54a425005f","first_computed_at":"2026-05-17T23:44:48.970720Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:44:48.970720Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mFtd7hR3l/JlXbIPj1hLWGstiWbnTlqS9s9EelvNM3e7PSizCJbxenZNu9wbkBRm34DhzhlWJ4W9cAL8B2jCCg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:44:48.971389Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.12096","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d7e0e85803dabe2a1c64cd65e84cf6d6be75273f4cd9038f0a3f5d59b1e72f64","sha256:9e305f68a7c45d1cab79fbcadb0188895c1903be4b371e7d156fab5677172f04"],"state_sha256":"951cfe18c95f9a86bdcade14e233a5ac147f1260ba4e78404dddd7e98ae64d7a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ldn+THEFuZlCBaffoxkK+h1T863M+IssL+MRdvxmMzmVcFYmHjgMet/VMzCwjXIzLsT2UNGcm32hRkHJOO8bAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T12:23:00.179187Z","bundle_sha256":"9849ab946746ce367715c6f2e923668aa2f2a267f2c40e69cea42dc34e77e53a"}}