{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:VWEVX7XRUVMDCASBTVE5S5HVVS","short_pith_number":"pith:VWEVX7XR","canonical_record":{"source":{"id":"2012.07912","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2020-12-14T19:51:58Z","cross_cats_sorted":[],"title_canon_sha256":"b283f9be064a2e73331263bb551ce913c368eea1544039369517ce03c149cfb7","abstract_canon_sha256":"4e94335808262cdb15f93a49940d362fc79eac660e2bb3160036001fef4bcdad"},"schema_version":"1.0"},"canonical_sha256":"ad895bfef1a5583102419d49d974f5aca503da9fa10150c42c22fdf9d3a51b5f","source":{"kind":"arxiv","id":"2012.07912","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2012.07912","created_at":"2026-07-05T01:59:37Z"},{"alias_kind":"arxiv_version","alias_value":"2012.07912v1","created_at":"2026-07-05T01:59:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2012.07912","created_at":"2026-07-05T01:59:37Z"},{"alias_kind":"pith_short_12","alias_value":"VWEVX7XRUVMD","created_at":"2026-07-05T01:59:37Z"},{"alias_kind":"pith_short_16","alias_value":"VWEVX7XRUVMDCASB","created_at":"2026-07-05T01:59:37Z"},{"alias_kind":"pith_short_8","alias_value":"VWEVX7XR","created_at":"2026-07-05T01:59:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:VWEVX7XRUVMDCASBTVE5S5HVVS","target":"record","payload":{"canonical_record":{"source":{"id":"2012.07912","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2020-12-14T19:51:58Z","cross_cats_sorted":[],"title_canon_sha256":"b283f9be064a2e73331263bb551ce913c368eea1544039369517ce03c149cfb7","abstract_canon_sha256":"4e94335808262cdb15f93a49940d362fc79eac660e2bb3160036001fef4bcdad"},"schema_version":"1.0"},"canonical_sha256":"ad895bfef1a5583102419d49d974f5aca503da9fa10150c42c22fdf9d3a51b5f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:59:37.606797Z","signature_b64":"7XZDXH/P+I/sN3Fi28O/lxwAzHRE948FHWdqvE4/6RIMMErzQi0Gy6ms0rlqEc0e8q9Y+iMfUrcW4suuutKmBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ad895bfef1a5583102419d49d974f5aca503da9fa10150c42c22fdf9d3a51b5f","last_reissued_at":"2026-07-05T01:59:37.606386Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:59:37.606386Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2012.07912","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-07-05T01:59:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AaY2TFB2TIqCRHobWolb3DQHv51FudiKJLzs1E5gWw3FULkwzQYDG6wa+2NsofeCY+oCP8hb61Mblku4l1J8CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T07:23:51.758932Z"},"content_sha256":"72563b6c77e5ad7639a7508dc350463f3ce4ff90077fd6a414d960baffa0de20","schema_version":"1.0","event_id":"sha256:72563b6c77e5ad7639a7508dc350463f3ce4ff90077fd6a414d960baffa0de20"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:VWEVX7XRUVMDCASBTVE5S5HVVS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reactive Temporal Logic Planning for Multiple Robots in Unknown Occupancy Grid Maps","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"George J. Pappas, Matthew Malencia, Yiannis Kantaros","submitted_at":"2020-12-14T19:51:58Z","abstract_excerpt":"This paper proposes a new reactive temporal logic planning algorithm for multiple robots that operate in environments with unknown geometry modeled using occupancy grid maps. The robots are equipped with individual sensors that allow them to continuously learn a grid map of the unknown environment using existing Simultaneous Localization and Mapping (SLAM) methods. The goal of the robots is to accomplish complex collaborative tasks, captured by global Linear Temporal Logic (LTL) formulas. The majority of existing LTL planning approaches rely on discrete abstractions of the robot dynamics opera"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2012.07912","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2012.07912/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-05T01:59:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I+XLormDao725hQjDG/0e3FV9n3GBL2DbNdwlxLbeOSl7uOmluC1EC3olvlpPa9RBwhToiaM4kcOFYjUTwq6AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T07:23:51.759336Z"},"content_sha256":"a6427cd16902c3e23e080a694f47c4155b6531b64a29e381c0c1dd02615aae96","schema_version":"1.0","event_id":"sha256:a6427cd16902c3e23e080a694f47c4155b6531b64a29e381c0c1dd02615aae96"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VWEVX7XRUVMDCASBTVE5S5HVVS/bundle.json","state_url":"https://pith.science/pith/VWEVX7XRUVMDCASBTVE5S5HVVS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VWEVX7XRUVMDCASBTVE5S5HVVS/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-07T07:23:51Z","links":{"resolver":"https://pith.science/pith/VWEVX7XRUVMDCASBTVE5S5HVVS","bundle":"https://pith.science/pith/VWEVX7XRUVMDCASBTVE5S5HVVS/bundle.json","state":"https://pith.science/pith/VWEVX7XRUVMDCASBTVE5S5HVVS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VWEVX7XRUVMDCASBTVE5S5HVVS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:VWEVX7XRUVMDCASBTVE5S5HVVS","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":"4e94335808262cdb15f93a49940d362fc79eac660e2bb3160036001fef4bcdad","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2020-12-14T19:51:58Z","title_canon_sha256":"b283f9be064a2e73331263bb551ce913c368eea1544039369517ce03c149cfb7"},"schema_version":"1.0","source":{"id":"2012.07912","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2012.07912","created_at":"2026-07-05T01:59:37Z"},{"alias_kind":"arxiv_version","alias_value":"2012.07912v1","created_at":"2026-07-05T01:59:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2012.07912","created_at":"2026-07-05T01:59:37Z"},{"alias_kind":"pith_short_12","alias_value":"VWEVX7XRUVMD","created_at":"2026-07-05T01:59:37Z"},{"alias_kind":"pith_short_16","alias_value":"VWEVX7XRUVMDCASB","created_at":"2026-07-05T01:59:37Z"},{"alias_kind":"pith_short_8","alias_value":"VWEVX7XR","created_at":"2026-07-05T01:59:37Z"}],"graph_snapshots":[{"event_id":"sha256:a6427cd16902c3e23e080a694f47c4155b6531b64a29e381c0c1dd02615aae96","target":"graph","created_at":"2026-07-05T01:59:37Z","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.07912/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper proposes a new reactive temporal logic planning algorithm for multiple robots that operate in environments with unknown geometry modeled using occupancy grid maps. The robots are equipped with individual sensors that allow them to continuously learn a grid map of the unknown environment using existing Simultaneous Localization and Mapping (SLAM) methods. The goal of the robots is to accomplish complex collaborative tasks, captured by global Linear Temporal Logic (LTL) formulas. The majority of existing LTL planning approaches rely on discrete abstractions of the robot dynamics opera","authors_text":"George J. Pappas, Matthew Malencia, Yiannis Kantaros","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2020-12-14T19:51:58Z","title":"Reactive Temporal Logic Planning for Multiple Robots in Unknown Occupancy Grid Maps"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2012.07912","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:72563b6c77e5ad7639a7508dc350463f3ce4ff90077fd6a414d960baffa0de20","target":"record","created_at":"2026-07-05T01:59:37Z","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":"4e94335808262cdb15f93a49940d362fc79eac660e2bb3160036001fef4bcdad","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2020-12-14T19:51:58Z","title_canon_sha256":"b283f9be064a2e73331263bb551ce913c368eea1544039369517ce03c149cfb7"},"schema_version":"1.0","source":{"id":"2012.07912","kind":"arxiv","version":1}},"canonical_sha256":"ad895bfef1a5583102419d49d974f5aca503da9fa10150c42c22fdf9d3a51b5f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ad895bfef1a5583102419d49d974f5aca503da9fa10150c42c22fdf9d3a51b5f","first_computed_at":"2026-07-05T01:59:37.606386Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:59:37.606386Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7XZDXH/P+I/sN3Fi28O/lxwAzHRE948FHWdqvE4/6RIMMErzQi0Gy6ms0rlqEc0e8q9Y+iMfUrcW4suuutKmBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T01:59:37.606797Z","signed_message":"canonical_sha256_bytes"},"source_id":"2012.07912","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:72563b6c77e5ad7639a7508dc350463f3ce4ff90077fd6a414d960baffa0de20","sha256:a6427cd16902c3e23e080a694f47c4155b6531b64a29e381c0c1dd02615aae96"],"state_sha256":"ed48ce09f62e23cc365a4485991fda514f9e590e24b33c59c5a119dace82eadb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YMDnjKP22s+7T9LuEhFda6zR7q4+/Q3QzOh+DPxZT389ZqFSoXvQCQu/EQ1NzrDsgSicbsjunT7mu+ClS289DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T07:23:51.762366Z","bundle_sha256":"21d0b6aae62e9a7e56cb6a96a639edc04e58b618efeffe20a6c82d3b3e0ae935"}}