{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:O7BLNEJKCEH4NG47IGV5JAV2Y4","short_pith_number":"pith:O7BLNEJK","schema_version":"1.0","canonical_sha256":"77c2b6912a110fc69b9f41abd482bac7251f5b402dac0391a144e2077091b976","source":{"kind":"arxiv","id":"2207.09708","version":1},"attestation_state":"computed","paper":{"title":"RV4JaCa -- Runtime Verification for Multi-Agent Systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.SE"],"primary_cat":"cs.MA","authors_text":"Alison R. Panisson (UFSC), Angelo Ferrando (UniGe), Davide Ancona (UniGe), Debora C. Engelmann (PUCRS, Rafael H. Bordini (PUCRS), UNIGE), Viviana Mascardi (UniGe)","submitted_at":"2022-07-20T07:25:47Z","abstract_excerpt":"This paper presents a Runtime Verification (RV) approach for Multi-Agent Systems (MAS) using the JaCaMo framework. Our objective is to bring a layer of security to the MAS. This layer is capable of controlling events during the execution of the system without needing a specific implementation in the behaviour of each agent to recognise the events. MAS have been used in the context of hybrid intelligence. This use requires communication between software agents and human beings. In some cases, communication takes place via natural language dialogues. However, this kind of communication brings us"},"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":"2207.09708","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.MA","submitted_at":"2022-07-20T07:25:47Z","cross_cats_sorted":["cs.AI","cs.SE"],"title_canon_sha256":"77807c2df8bf47cca0ff864e8e63e5adb672c75ca2248e78a97541167c705a75","abstract_canon_sha256":"eab5470323e8add1c943d86d7515615fc105fa1c722a946ce9a31cd3c219235a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:42:00.925528Z","signature_b64":"SWbpBdGb07e/6cTTuAza0gx7KqsmVItZFAqtbJvF2coV0HoixCVnh98OzVIsa5ikxS7A+jADb/h+w9dwum7ZBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"77c2b6912a110fc69b9f41abd482bac7251f5b402dac0391a144e2077091b976","last_reissued_at":"2026-07-05T04:42:00.925114Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:42:00.925114Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"RV4JaCa -- Runtime Verification for Multi-Agent Systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.SE"],"primary_cat":"cs.MA","authors_text":"Alison R. Panisson (UFSC), Angelo Ferrando (UniGe), Davide Ancona (UniGe), Debora C. Engelmann (PUCRS, Rafael H. Bordini (PUCRS), UNIGE), Viviana Mascardi (UniGe)","submitted_at":"2022-07-20T07:25:47Z","abstract_excerpt":"This paper presents a Runtime Verification (RV) approach for Multi-Agent Systems (MAS) using the JaCaMo framework. Our objective is to bring a layer of security to the MAS. This layer is capable of controlling events during the execution of the system without needing a specific implementation in the behaviour of each agent to recognise the events. MAS have been used in the context of hybrid intelligence. This use requires communication between software agents and human beings. In some cases, communication takes place via natural language dialogues. However, this kind of communication brings us"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2207.09708","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/2207.09708/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":"2207.09708","created_at":"2026-07-05T04:42:00.925176+00:00"},{"alias_kind":"arxiv_version","alias_value":"2207.09708v1","created_at":"2026-07-05T04:42:00.925176+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2207.09708","created_at":"2026-07-05T04:42:00.925176+00:00"},{"alias_kind":"pith_short_12","alias_value":"O7BLNEJKCEH4","created_at":"2026-07-05T04:42:00.925176+00:00"},{"alias_kind":"pith_short_16","alias_value":"O7BLNEJKCEH4NG47","created_at":"2026-07-05T04:42:00.925176+00:00"},{"alias_kind":"pith_short_8","alias_value":"O7BLNEJK","created_at":"2026-07-05T04:42:00.925176+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2604.23088","citing_title":"Code Broker: A Multi-Agent System for Automated Code Quality Assessment","ref_index":23,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/O7BLNEJKCEH4NG47IGV5JAV2Y4","json":"https://pith.science/pith/O7BLNEJKCEH4NG47IGV5JAV2Y4.json","graph_json":"https://pith.science/api/pith-number/O7BLNEJKCEH4NG47IGV5JAV2Y4/graph.json","events_json":"https://pith.science/api/pith-number/O7BLNEJKCEH4NG47IGV5JAV2Y4/events.json","paper":"https://pith.science/paper/O7BLNEJK"},"agent_actions":{"view_html":"https://pith.science/pith/O7BLNEJKCEH4NG47IGV5JAV2Y4","download_json":"https://pith.science/pith/O7BLNEJKCEH4NG47IGV5JAV2Y4.json","view_paper":"https://pith.science/paper/O7BLNEJK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2207.09708&json=true","fetch_graph":"https://pith.science/api/pith-number/O7BLNEJKCEH4NG47IGV5JAV2Y4/graph.json","fetch_events":"https://pith.science/api/pith-number/O7BLNEJKCEH4NG47IGV5JAV2Y4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/O7BLNEJKCEH4NG47IGV5JAV2Y4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/O7BLNEJKCEH4NG47IGV5JAV2Y4/action/storage_attestation","attest_author":"https://pith.science/pith/O7BLNEJKCEH4NG47IGV5JAV2Y4/action/author_attestation","sign_citation":"https://pith.science/pith/O7BLNEJKCEH4NG47IGV5JAV2Y4/action/citation_signature","submit_replication":"https://pith.science/pith/O7BLNEJKCEH4NG47IGV5JAV2Y4/action/replication_record"}},"created_at":"2026-07-05T04:42:00.925176+00:00","updated_at":"2026-07-05T04:42:00.925176+00:00"}