{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:MTXRC5YCQXYML2VBB7JG7ZERWH","short_pith_number":"pith:MTXRC5YC","schema_version":"1.0","canonical_sha256":"64ef11770285f0c5eaa10fd26fe491b1ff8dc7ad9d502381d72c6c4875807b0a","source":{"kind":"arxiv","id":"2302.04691","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2302.04691","created_at":"2026-07-05T05:40:17.470510+00:00"},{"alias_kind":"arxiv_version","alias_value":"2302.04691v1","created_at":"2026-07-05T05:40:17.470510+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.04691","created_at":"2026-07-05T05:40:17.470510+00:00"},{"alias_kind":"pith_short_12","alias_value":"MTXRC5YCQXYM","created_at":"2026-07-05T05:40:17.470510+00:00"},{"alias_kind":"pith_short_16","alias_value":"MTXRC5YCQXYML2VB","created_at":"2026-07-05T05:40:17.470510+00:00"},{"alias_kind":"pith_short_8","alias_value":"MTXRC5YC","created_at":"2026-07-05T05:40:17.470510+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/MTXRC5YCQXYML2VBB7JG7ZERWH","json":"https://pith.science/pith/MTXRC5YCQXYML2VBB7JG7ZERWH.json","graph_json":"https://pith.science/api/pith-number/MTXRC5YCQXYML2VBB7JG7ZERWH/graph.json","events_json":"https://pith.science/api/pith-number/MTXRC5YCQXYML2VBB7JG7ZERWH/events.json","paper":"https://pith.science/paper/MTXRC5YC"},"agent_actions":{"view_html":"https://pith.science/pith/MTXRC5YCQXYML2VBB7JG7ZERWH","download_json":"https://pith.science/pith/MTXRC5YCQXYML2VBB7JG7ZERWH.json","view_paper":"https://pith.science/paper/MTXRC5YC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2302.04691&json=true","fetch_graph":"https://pith.science/api/pith-number/MTXRC5YCQXYML2VBB7JG7ZERWH/graph.json","fetch_events":"https://pith.science/api/pith-number/MTXRC5YCQXYML2VBB7JG7ZERWH/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MTXRC5YCQXYML2VBB7JG7ZERWH/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MTXRC5YCQXYML2VBB7JG7ZERWH/action/storage_attestation","attest_author":"https://pith.science/pith/MTXRC5YCQXYML2VBB7JG7ZERWH/action/author_attestation","sign_citation":"https://pith.science/pith/MTXRC5YCQXYML2VBB7JG7ZERWH/action/citation_signature","submit_replication":"https://pith.science/pith/MTXRC5YCQXYML2VBB7JG7ZERWH/action/replication_record"}},"created_at":"2026-07-05T05:40:17.470510+00:00","updated_at":"2026-07-05T05:40:17.470510+00:00"}