{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:MTXRC5YCQXYML2VBB7JG7ZERWH","short_pith_number":"pith:MTXRC5YC","canonical_record":{"source":{"id":"2302.04691","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2023-02-09T15:18:14Z","cross_cats_sorted":["cs.MA"],"title_canon_sha256":"c9f9034528d7a9dee04f840309f5c3899104269c5729e18491c343ac45ae6554","abstract_canon_sha256":"f46f057d62edffe07bbe2979327fdd79b5f915c2508351a2d4047290ee3fcf96"},"schema_version":"1.0"},"canonical_sha256":"64ef11770285f0c5eaa10fd26fe491b1ff8dc7ad9d502381d72c6c4875807b0a","source":{"kind":"arxiv","id":"2302.04691","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2302.04691","created_at":"2026-07-05T05:40:17Z"},{"alias_kind":"arxiv_version","alias_value":"2302.04691v1","created_at":"2026-07-05T05:40:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.04691","created_at":"2026-07-05T05:40:17Z"},{"alias_kind":"pith_short_12","alias_value":"MTXRC5YCQXYM","created_at":"2026-07-05T05:40:17Z"},{"alias_kind":"pith_short_16","alias_value":"MTXRC5YCQXYML2VB","created_at":"2026-07-05T05:40:17Z"},{"alias_kind":"pith_short_8","alias_value":"MTXRC5YC","created_at":"2026-07-05T05:40:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:MTXRC5YCQXYML2VBB7JG7ZERWH","target":"record","payload":{"canonical_record":{"source":{"id":"2302.04691","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2023-02-09T15:18:14Z","cross_cats_sorted":["cs.MA"],"title_canon_sha256":"c9f9034528d7a9dee04f840309f5c3899104269c5729e18491c343ac45ae6554","abstract_canon_sha256":"f46f057d62edffe07bbe2979327fdd79b5f915c2508351a2d4047290ee3fcf96"},"schema_version":"1.0"},"canonical_sha256":"64ef11770285f0c5eaa10fd26fe491b1ff8dc7ad9d502381d72c6c4875807b0a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:40:17.470861Z","signature_b64":"ZPkG0YfF8Noet8dKeU8d6XrqVLuTo2bP2wPmhnnc3lRJPWOpNIxDYa5gXdGSgSF8BuNZGxZF+ol/0JPhEjkuCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"64ef11770285f0c5eaa10fd26fe491b1ff8dc7ad9d502381d72c6c4875807b0a","last_reissued_at":"2026-07-05T05:40:17.470452Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:40:17.470452Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2302.04691","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-05T05:40:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VOp3hy1CRLXF0ckpbjGEdfLA7RZ44ydtUtzK0uj0TEz85Schqd+mGR+dfbJ4aLfj4LUIKMKtDbvX0G67ew4QAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-21T08:48:49.330403Z"},"content_sha256":"7ebf0f43a2b2ca7f75ba0d445828460833b02b4bbd49f16192e739f0722cacc5","schema_version":"1.0","event_id":"sha256:7ebf0f43a2b2ca7f75ba0d445828460833b02b4bbd49f16192e739f0722cacc5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:MTXRC5YCQXYML2VBB7JG7ZERWH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Power Line Inspection Tasks with Multi-Aerial Robot Systems via Signal Temporal Logic Specifications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.MA"],"primary_cat":"cs.RO","authors_text":"Davide Liuzza, Giuseppe Silano, Martin Saska, Robert Penicka, Tomas Baca","submitted_at":"2023-02-09T15:18:14Z","abstract_excerpt":"A framework for computing feasible and constrained trajectories for a fleet of quad-rotors leveraging on Signal Temporal Logic (STL) specifications for power line inspection tasks is proposed in this paper. The planner allows the formulation of complex missions that avoid obstacles and maintain a safe distance between drones while performing the planned mission. An optimization problem is set to generate optimal strategies that satisfy these specifications and also take vehicle constraints into account. Further, an event-triggered replanner is proposed to reply to unforeseen events and externa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2302.04691","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/2302.04691/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-05T05:40:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CPGwBKOdN6OAbOQ8k79eexOAI3zQbNqFx7ZNY49gbOMBKrrZSLSGZWxEhjlaP00pXCrvK72YaCgF3ybrhvuOAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-21T08:48:49.330766Z"},"content_sha256":"dba28b4e07012fffb6153365cd7621fde00f8d6891cb0d49e9b7448f5ad46121","schema_version":"1.0","event_id":"sha256:dba28b4e07012fffb6153365cd7621fde00f8d6891cb0d49e9b7448f5ad46121"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MTXRC5YCQXYML2VBB7JG7ZERWH/bundle.json","state_url":"https://pith.science/pith/MTXRC5YCQXYML2VBB7JG7ZERWH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MTXRC5YCQXYML2VBB7JG7ZERWH/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-21T08:48:49Z","links":{"resolver":"https://pith.science/pith/MTXRC5YCQXYML2VBB7JG7ZERWH","bundle":"https://pith.science/pith/MTXRC5YCQXYML2VBB7JG7ZERWH/bundle.json","state":"https://pith.science/pith/MTXRC5YCQXYML2VBB7JG7ZERWH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MTXRC5YCQXYML2VBB7JG7ZERWH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:MTXRC5YCQXYML2VBB7JG7ZERWH","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":"f46f057d62edffe07bbe2979327fdd79b5f915c2508351a2d4047290ee3fcf96","cross_cats_sorted":["cs.MA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2023-02-09T15:18:14Z","title_canon_sha256":"c9f9034528d7a9dee04f840309f5c3899104269c5729e18491c343ac45ae6554"},"schema_version":"1.0","source":{"id":"2302.04691","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2302.04691","created_at":"2026-07-05T05:40:17Z"},{"alias_kind":"arxiv_version","alias_value":"2302.04691v1","created_at":"2026-07-05T05:40:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.04691","created_at":"2026-07-05T05:40:17Z"},{"alias_kind":"pith_short_12","alias_value":"MTXRC5YCQXYM","created_at":"2026-07-05T05:40:17Z"},{"alias_kind":"pith_short_16","alias_value":"MTXRC5YCQXYML2VB","created_at":"2026-07-05T05:40:17Z"},{"alias_kind":"pith_short_8","alias_value":"MTXRC5YC","created_at":"2026-07-05T05:40:17Z"}],"graph_snapshots":[{"event_id":"sha256:dba28b4e07012fffb6153365cd7621fde00f8d6891cb0d49e9b7448f5ad46121","target":"graph","created_at":"2026-07-05T05:40:17Z","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/2302.04691/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"A framework for computing feasible and constrained trajectories for a fleet of quad-rotors leveraging on Signal Temporal Logic (STL) specifications for power line inspection tasks is proposed in this paper. The planner allows the formulation of complex missions that avoid obstacles and maintain a safe distance between drones while performing the planned mission. An optimization problem is set to generate optimal strategies that satisfy these specifications and also take vehicle constraints into account. Further, an event-triggered replanner is proposed to reply to unforeseen events and externa","authors_text":"Davide Liuzza, Giuseppe Silano, Martin Saska, Robert Penicka, Tomas Baca","cross_cats":["cs.MA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2023-02-09T15:18:14Z","title":"Power Line Inspection Tasks with Multi-Aerial Robot Systems via Signal Temporal Logic Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2302.04691","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:7ebf0f43a2b2ca7f75ba0d445828460833b02b4bbd49f16192e739f0722cacc5","target":"record","created_at":"2026-07-05T05:40:17Z","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":"f46f057d62edffe07bbe2979327fdd79b5f915c2508351a2d4047290ee3fcf96","cross_cats_sorted":["cs.MA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2023-02-09T15:18:14Z","title_canon_sha256":"c9f9034528d7a9dee04f840309f5c3899104269c5729e18491c343ac45ae6554"},"schema_version":"1.0","source":{"id":"2302.04691","kind":"arxiv","version":1}},"canonical_sha256":"64ef11770285f0c5eaa10fd26fe491b1ff8dc7ad9d502381d72c6c4875807b0a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"64ef11770285f0c5eaa10fd26fe491b1ff8dc7ad9d502381d72c6c4875807b0a","first_computed_at":"2026-07-05T05:40:17.470452Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:40:17.470452Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZPkG0YfF8Noet8dKeU8d6XrqVLuTo2bP2wPmhnnc3lRJPWOpNIxDYa5gXdGSgSF8BuNZGxZF+ol/0JPhEjkuCA==","signature_status":"signed_v1","signed_at":"2026-07-05T05:40:17.470861Z","signed_message":"canonical_sha256_bytes"},"source_id":"2302.04691","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7ebf0f43a2b2ca7f75ba0d445828460833b02b4bbd49f16192e739f0722cacc5","sha256:dba28b4e07012fffb6153365cd7621fde00f8d6891cb0d49e9b7448f5ad46121"],"state_sha256":"56a0d94f0a145c5d93dd56fe74592619c3e14d71c3f9ee2c2bb1cf6771c6b5da"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/er9SBrbGuhJG9EYzIh9wEX48IXztnn8vBKhWuZfNg+4vPHaz7qmLPc2P1usnqpe5FHMoO+FNuVn3/q39t7ODg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-21T08:48:49.332813Z","bundle_sha256":"566ae99ed9b5c8a72d4341b177de8f64fb7a64040c0386685f7f76d3064454ba"}}