{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:UIEXJSI2P5HUTQWHGNJPPHEOMQ","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":"6403a33fe40c17d1412916f106a651ee95658c65520c83ff816326864bdc1c84","cross_cats_sorted":["cs.PF","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-07-07T13:23:39Z","title_canon_sha256":"d2790719715749aca0d5137471d13f33b9e13ee564fb96a7b165d2bbc24e2b2d"},"schema_version":"1.0","source":{"id":"1607.02001","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.02001","created_at":"2026-05-18T01:11:22Z"},{"alias_kind":"arxiv_version","alias_value":"1607.02001v1","created_at":"2026-05-18T01:11:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.02001","created_at":"2026-05-18T01:11:22Z"},{"alias_kind":"pith_short_12","alias_value":"UIEXJSI2P5HU","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_16","alias_value":"UIEXJSI2P5HUTQWH","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_8","alias_value":"UIEXJSI2","created_at":"2026-05-18T12:30:46Z"}],"graph_snapshots":[{"event_id":"sha256:e938cae537e8e48e2075765bcc5d2d330b2e8ec254f7004730ce33a8cd2d69a2","target":"graph","created_at":"2026-05-18T01:11:22Z","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"},"paper":{"abstract_excerpt":"Collective Adaptive Systems (CAS) consist of a large number of spatially distributed heterogeneous entities with decentralised control and varying degrees of complex autonomous behaviour that may be competing for shared resources even when collaborating to reach common goals. It is important to carry out thorough quantitative modelling and analysis and verification of their design to investigate all aspects of their behaviour before they are put into operation. This requires combinations of formal methods and applied mathematics which moreover scale to large-scale CAS. The primary goal of FORE","authors_text":"Italy), Maurice H. ter Beek (ISTI-CNR, Michele Loreti (University of Florence, Pisa","cross_cats":["cs.PF","cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-07-07T13:23:39Z","title":"Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.02001","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:1a0bbd25dd8ecd00a1f018ecfc775de4f4524b74abd63fc54bf392f252a2ea87","target":"record","created_at":"2026-05-18T01:11:22Z","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":"6403a33fe40c17d1412916f106a651ee95658c65520c83ff816326864bdc1c84","cross_cats_sorted":["cs.PF","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-07-07T13:23:39Z","title_canon_sha256":"d2790719715749aca0d5137471d13f33b9e13ee564fb96a7b165d2bbc24e2b2d"},"schema_version":"1.0","source":{"id":"1607.02001","kind":"arxiv","version":1}},"canonical_sha256":"a20974c91a7f4f49c2c73352f79c8e643348b19ac1b9a04284a707e6a828985c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a20974c91a7f4f49c2c73352f79c8e643348b19ac1b9a04284a707e6a828985c","first_computed_at":"2026-05-18T01:11:22.825108Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:11:22.825108Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gy7WQLiU6BIsJKg9uTVXluRo7+FDGZuaB6Qi87dbFPKcNmscs1tC8r6D3fZDbgtHC7hrVyFsNkAX/inw5TP3Dw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:11:22.825556Z","signed_message":"canonical_sha256_bytes"},"source_id":"1607.02001","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1a0bbd25dd8ecd00a1f018ecfc775de4f4524b74abd63fc54bf392f252a2ea87","sha256:e938cae537e8e48e2075765bcc5d2d330b2e8ec254f7004730ce33a8cd2d69a2"],"state_sha256":"1b67b7a3ca1b3deb28fefd0027df9c3496eb09fff1d5da871ebe717aa9b27fc1"}