{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:LPPF4OPR4UVLDBDZLJSMDMVZ42","short_pith_number":"pith:LPPF4OPR","schema_version":"1.0","canonical_sha256":"5bde5e39f1e52ab184795a64c1b2b9e6a30878e1287b1269378a0f8a2e0c1ef4","source":{"kind":"arxiv","id":"2403.07770","version":2},"attestation_state":"computed","paper":{"title":"PROSKILL: A formal skill language for acting in robotics","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.RO","authors_text":"F\\'elix Ingrand (LAAS-CNRS, France), Toulouse, Universit\\'e de Toulouse","submitted_at":"2024-03-12T15:56:53Z","abstract_excerpt":"Acting is an important decisional function for autonomous robots. Acting relies on skills to implement and to model the activities it oversees: refinement, local recovery, temporal dispatching, external asynchronous events, and commands execution, all done online. While sitting between planning and the robotic platform, acting often relies on programming primitives and an interpreter which executes these skills. Following our experience in providing a formal framework to program the functional components of our robots, we propose a new language, to program the acting skills. This language maps"},"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":"2403.07770","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.RO","submitted_at":"2024-03-12T15:56:53Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"23c82da054a3de543c8494b44c43805c0bff15d450919a6368a8309d851a174d","abstract_canon_sha256":"0c787314b06465f6cb35e00c0434a6b2e9af8779a7ab7f983754b5e6fec21c6d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:17:46.556241Z","signature_b64":"R4vh9qKHlamrB+R4mG8lr9zGivCBzWQrTt+nOAOf05i1PKtI26I0RKYcYNdxI6DiFdatZgt41/CeETcgXV/zCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5bde5e39f1e52ab184795a64c1b2b9e6a30878e1287b1269378a0f8a2e0c1ef4","last_reissued_at":"2026-07-05T10:17:46.555775Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:17:46.555775Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"PROSKILL: A formal skill language for acting in robotics","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.RO","authors_text":"F\\'elix Ingrand (LAAS-CNRS, France), Toulouse, Universit\\'e de Toulouse","submitted_at":"2024-03-12T15:56:53Z","abstract_excerpt":"Acting is an important decisional function for autonomous robots. Acting relies on skills to implement and to model the activities it oversees: refinement, local recovery, temporal dispatching, external asynchronous events, and commands execution, all done online. While sitting between planning and the robotic platform, acting often relies on programming primitives and an interpreter which executes these skills. Following our experience in providing a formal framework to program the functional components of our robots, we propose a new language, to program the acting skills. This language maps"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.07770","kind":"arxiv","version":2},"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/2403.07770/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":"2403.07770","created_at":"2026-07-05T10:17:46.555833+00:00"},{"alias_kind":"arxiv_version","alias_value":"2403.07770v2","created_at":"2026-07-05T10:17:46.555833+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.07770","created_at":"2026-07-05T10:17:46.555833+00:00"},{"alias_kind":"pith_short_12","alias_value":"LPPF4OPR4UVL","created_at":"2026-07-05T10:17:46.555833+00:00"},{"alias_kind":"pith_short_16","alias_value":"LPPF4OPR4UVLDBDZ","created_at":"2026-07-05T10:17:46.555833+00:00"},{"alias_kind":"pith_short_8","alias_value":"LPPF4OPR","created_at":"2026-07-05T10:17:46.555833+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2411.14373","citing_title":"Cross--layer Formal Verification of Robotic Systems","ref_index":8,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/LPPF4OPR4UVLDBDZLJSMDMVZ42","json":"https://pith.science/pith/LPPF4OPR4UVLDBDZLJSMDMVZ42.json","graph_json":"https://pith.science/api/pith-number/LPPF4OPR4UVLDBDZLJSMDMVZ42/graph.json","events_json":"https://pith.science/api/pith-number/LPPF4OPR4UVLDBDZLJSMDMVZ42/events.json","paper":"https://pith.science/paper/LPPF4OPR"},"agent_actions":{"view_html":"https://pith.science/pith/LPPF4OPR4UVLDBDZLJSMDMVZ42","download_json":"https://pith.science/pith/LPPF4OPR4UVLDBDZLJSMDMVZ42.json","view_paper":"https://pith.science/paper/LPPF4OPR","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2403.07770&json=true","fetch_graph":"https://pith.science/api/pith-number/LPPF4OPR4UVLDBDZLJSMDMVZ42/graph.json","fetch_events":"https://pith.science/api/pith-number/LPPF4OPR4UVLDBDZLJSMDMVZ42/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LPPF4OPR4UVLDBDZLJSMDMVZ42/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LPPF4OPR4UVLDBDZLJSMDMVZ42/action/storage_attestation","attest_author":"https://pith.science/pith/LPPF4OPR4UVLDBDZLJSMDMVZ42/action/author_attestation","sign_citation":"https://pith.science/pith/LPPF4OPR4UVLDBDZLJSMDMVZ42/action/citation_signature","submit_replication":"https://pith.science/pith/LPPF4OPR4UVLDBDZLJSMDMVZ42/action/replication_record"}},"created_at":"2026-07-05T10:17:46.555833+00:00","updated_at":"2026-07-05T10:17:46.555833+00:00"}