{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:O7KC4ILUBE5HNUU5C7CRAFSMON","short_pith_number":"pith:O7KC4ILU","canonical_record":{"source":{"id":"2012.10490","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2020-12-18T19:58:21Z","cross_cats_sorted":[],"title_canon_sha256":"f569a9cfc9a12ae6f412909638af4e57ba967e8753f9b13d4619b02b0bc64411","abstract_canon_sha256":"e1d1254bf9c031cfd3b8c5a66b6caca20704eaef8b485ef363d6b239c8533102"},"schema_version":"1.0"},"canonical_sha256":"77d42e2174093a76d29d17c510164c737a8fd8750a84a25109bf05a6a4187296","source":{"kind":"arxiv","id":"2012.10490","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2012.10490","created_at":"2026-07-05T03:48:05Z"},{"alias_kind":"arxiv_version","alias_value":"2012.10490v3","created_at":"2026-07-05T03:48:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2012.10490","created_at":"2026-07-05T03:48:05Z"},{"alias_kind":"pith_short_12","alias_value":"O7KC4ILUBE5H","created_at":"2026-07-05T03:48:05Z"},{"alias_kind":"pith_short_16","alias_value":"O7KC4ILUBE5HNUU5","created_at":"2026-07-05T03:48:05Z"},{"alias_kind":"pith_short_8","alias_value":"O7KC4ILU","created_at":"2026-07-05T03:48:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:O7KC4ILUBE5HNUU5C7CRAFSMON","target":"record","payload":{"canonical_record":{"source":{"id":"2012.10490","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2020-12-18T19:58:21Z","cross_cats_sorted":[],"title_canon_sha256":"f569a9cfc9a12ae6f412909638af4e57ba967e8753f9b13d4619b02b0bc64411","abstract_canon_sha256":"e1d1254bf9c031cfd3b8c5a66b6caca20704eaef8b485ef363d6b239c8533102"},"schema_version":"1.0"},"canonical_sha256":"77d42e2174093a76d29d17c510164c737a8fd8750a84a25109bf05a6a4187296","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:48:05.029052Z","signature_b64":"lyRvXas8bfns9wW60k5DUrXdCyKAPL03R/I6SS6D2VvuUQu8FwGFr/26pD7zdpD1jivu9MN+ulnyw0gte/3ICQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"77d42e2174093a76d29d17c510164c737a8fd8750a84a25109bf05a6a4187296","last_reissued_at":"2026-07-05T03:48:05.028610Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:48:05.028610Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2012.10490","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-05T03:48:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dgFJsrTGbowiI3HQ9w1sZEsNFmc6NmoJphZcD1gD8yDVRHi7URX7+oiZVU1mmeRXChel+7pFh+U62HERPlHMDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T17:39:54.374458Z"},"content_sha256":"a90933abbe97c083be8867d4d34cbc30d68867ba01463190672f7ffcd92a7891","schema_version":"1.0","event_id":"sha256:a90933abbe97c083be8867d4d34cbc30d68867ba01463190672f7ffcd92a7891"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:O7KC4ILUBE5HNUU5C7CRAFSMON","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Perception-Based Temporal Logic Planning in Uncertain Semantic Maps","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"George J. Pappas, Qi Jin, Samarth Kalluraya, Yiannis Kantaros","submitted_at":"2020-12-18T19:58:21Z","abstract_excerpt":"This paper addresses a multi-robot planning problem in environments with partially unknown semantics. The environment is assumed to have known geometric structure (e.g., walls) and to be occupied by static labeled landmarks with uncertain positions and classes. This modeling approach gives rise to an uncertain semantic map generated by semantic SLAM algorithms. Our goal is to design control policies for robots equipped with noisy perception systems so that they can accomplish collaborative tasks captured by global temporal logic specifications. To specify missions that account for environmenta"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2012.10490","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/2012.10490/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-05T03:48:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"d11s7LSpllghfF9rPuLXC5bGqgMSA40WSYKDLd0zisLjivZDfzhNFUSVIjY1OXZEADYowYAIJyVghr+oyA/UBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T17:39:54.374832Z"},"content_sha256":"633fbf60764b4c4ab3b1d63106e87a1804f4e2782cae4ba815c1b977f88bd3ae","schema_version":"1.0","event_id":"sha256:633fbf60764b4c4ab3b1d63106e87a1804f4e2782cae4ba815c1b977f88bd3ae"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O7KC4ILUBE5HNUU5C7CRAFSMON/bundle.json","state_url":"https://pith.science/pith/O7KC4ILUBE5HNUU5C7CRAFSMON/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O7KC4ILUBE5HNUU5C7CRAFSMON/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-07-06T17:39:54Z","links":{"resolver":"https://pith.science/pith/O7KC4ILUBE5HNUU5C7CRAFSMON","bundle":"https://pith.science/pith/O7KC4ILUBE5HNUU5C7CRAFSMON/bundle.json","state":"https://pith.science/pith/O7KC4ILUBE5HNUU5C7CRAFSMON/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O7KC4ILUBE5HNUU5C7CRAFSMON/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:O7KC4ILUBE5HNUU5C7CRAFSMON","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":"e1d1254bf9c031cfd3b8c5a66b6caca20704eaef8b485ef363d6b239c8533102","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2020-12-18T19:58:21Z","title_canon_sha256":"f569a9cfc9a12ae6f412909638af4e57ba967e8753f9b13d4619b02b0bc64411"},"schema_version":"1.0","source":{"id":"2012.10490","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2012.10490","created_at":"2026-07-05T03:48:05Z"},{"alias_kind":"arxiv_version","alias_value":"2012.10490v3","created_at":"2026-07-05T03:48:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2012.10490","created_at":"2026-07-05T03:48:05Z"},{"alias_kind":"pith_short_12","alias_value":"O7KC4ILUBE5H","created_at":"2026-07-05T03:48:05Z"},{"alias_kind":"pith_short_16","alias_value":"O7KC4ILUBE5HNUU5","created_at":"2026-07-05T03:48:05Z"},{"alias_kind":"pith_short_8","alias_value":"O7KC4ILU","created_at":"2026-07-05T03:48:05Z"}],"graph_snapshots":[{"event_id":"sha256:633fbf60764b4c4ab3b1d63106e87a1804f4e2782cae4ba815c1b977f88bd3ae","target":"graph","created_at":"2026-07-05T03:48:05Z","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/2012.10490/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper addresses a multi-robot planning problem in environments with partially unknown semantics. The environment is assumed to have known geometric structure (e.g., walls) and to be occupied by static labeled landmarks with uncertain positions and classes. This modeling approach gives rise to an uncertain semantic map generated by semantic SLAM algorithms. Our goal is to design control policies for robots equipped with noisy perception systems so that they can accomplish collaborative tasks captured by global temporal logic specifications. To specify missions that account for environmenta","authors_text":"George J. Pappas, Qi Jin, Samarth Kalluraya, Yiannis Kantaros","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2020-12-18T19:58:21Z","title":"Perception-Based Temporal Logic Planning in Uncertain Semantic Maps"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2012.10490","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:a90933abbe97c083be8867d4d34cbc30d68867ba01463190672f7ffcd92a7891","target":"record","created_at":"2026-07-05T03:48:05Z","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":"e1d1254bf9c031cfd3b8c5a66b6caca20704eaef8b485ef363d6b239c8533102","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2020-12-18T19:58:21Z","title_canon_sha256":"f569a9cfc9a12ae6f412909638af4e57ba967e8753f9b13d4619b02b0bc64411"},"schema_version":"1.0","source":{"id":"2012.10490","kind":"arxiv","version":3}},"canonical_sha256":"77d42e2174093a76d29d17c510164c737a8fd8750a84a25109bf05a6a4187296","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"77d42e2174093a76d29d17c510164c737a8fd8750a84a25109bf05a6a4187296","first_computed_at":"2026-07-05T03:48:05.028610Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:48:05.028610Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lyRvXas8bfns9wW60k5DUrXdCyKAPL03R/I6SS6D2VvuUQu8FwGFr/26pD7zdpD1jivu9MN+ulnyw0gte/3ICQ==","signature_status":"signed_v1","signed_at":"2026-07-05T03:48:05.029052Z","signed_message":"canonical_sha256_bytes"},"source_id":"2012.10490","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a90933abbe97c083be8867d4d34cbc30d68867ba01463190672f7ffcd92a7891","sha256:633fbf60764b4c4ab3b1d63106e87a1804f4e2782cae4ba815c1b977f88bd3ae"],"state_sha256":"f2ba35827563982eea79ed250ebf26f046ec3451ed9104da0f1693a819ab7484"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ybnj3Yj9qr2t1ipzV1F5reACIpuTuyVu3wea2AuSlZjaR+vK+17Oqww84j7YPn5XBOIk7q06Bz7ZKCKBMxZqBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T17:39:54.376885Z","bundle_sha256":"1bfd1396d11850c7560b38723e06fdfeab6bce59e729924e8388da888f87793d"}}