{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:LP6AIPXEIMSPKU4G3KK3GE5BLI","short_pith_number":"pith:LP6AIPXE","schema_version":"1.0","canonical_sha256":"5bfc043ee44324f55386da95b313a15a250a3ba50605932ef5d4a2e575617257","source":{"kind":"arxiv","id":"1607.02966","version":1},"attestation_state":"computed","paper":{"title":"Challenges in Quantitative Abstractions for Collective Adaptive Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","cs.PF"],"primary_cat":"cs.SY","authors_text":"Italy), Mirco Tribastone (IMT School for Advanced Studies Lucca","submitted_at":"2016-07-08T05:36:45Z","abstract_excerpt":"Like with most large-scale systems, the evaluation of quantitative properties of collective adaptive systems is an important issue that crosscuts all its development stages, from design (in the case of engineered systems) to runtime monitoring and control. Unfortunately it is a difficult problem to tackle in general, due to the typically high computational cost involved in the analysis. This calls for the development of appropriate quantitative abstraction techniques that preserve most of the system's dynamical behaviour using a more compact representation. This paper focuses on models based o"},"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":"1607.02966","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-07-08T05:36:45Z","cross_cats_sorted":["cs.LO","cs.PF"],"title_canon_sha256":"01741aa5ad1df128cc880e713e6b4e854b89f15e3201beff8fdffa9f4637762c","abstract_canon_sha256":"7efd16992581cea14139714b7b0a6a91caefc1ef025f3a8799f5c1f0229803c6"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:11:14.271977Z","signature_b64":"E6wu0qyBuLR6UzwnVX+dEBTj+JhB9Kv/n0z+8ZFXdb15PEGzl01ys/+lbDBen2ElcqRPtyb2n2M5NWt+p3JSDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5bfc043ee44324f55386da95b313a15a250a3ba50605932ef5d4a2e575617257","last_reissued_at":"2026-05-18T01:11:14.271553Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:11:14.271553Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Challenges in Quantitative Abstractions for Collective Adaptive Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","cs.PF"],"primary_cat":"cs.SY","authors_text":"Italy), Mirco Tribastone (IMT School for Advanced Studies Lucca","submitted_at":"2016-07-08T05:36:45Z","abstract_excerpt":"Like with most large-scale systems, the evaluation of quantitative properties of collective adaptive systems is an important issue that crosscuts all its development stages, from design (in the case of engineered systems) to runtime monitoring and control. Unfortunately it is a difficult problem to tackle in general, due to the typically high computational cost involved in the analysis. This calls for the development of appropriate quantitative abstraction techniques that preserve most of the system's dynamical behaviour using a more compact representation. This paper focuses on models based o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.02966","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":""},"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":"1607.02966","created_at":"2026-05-18T01:11:14.271616+00:00"},{"alias_kind":"arxiv_version","alias_value":"1607.02966v1","created_at":"2026-05-18T01:11:14.271616+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.02966","created_at":"2026-05-18T01:11:14.271616+00:00"},{"alias_kind":"pith_short_12","alias_value":"LP6AIPXEIMSP","created_at":"2026-05-18T12:30:29.479603+00:00"},{"alias_kind":"pith_short_16","alias_value":"LP6AIPXEIMSPKU4G","created_at":"2026-05-18T12:30:29.479603+00:00"},{"alias_kind":"pith_short_8","alias_value":"LP6AIPXE","created_at":"2026-05-18T12:30:29.479603+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/LP6AIPXEIMSPKU4G3KK3GE5BLI","json":"https://pith.science/pith/LP6AIPXEIMSPKU4G3KK3GE5BLI.json","graph_json":"https://pith.science/api/pith-number/LP6AIPXEIMSPKU4G3KK3GE5BLI/graph.json","events_json":"https://pith.science/api/pith-number/LP6AIPXEIMSPKU4G3KK3GE5BLI/events.json","paper":"https://pith.science/paper/LP6AIPXE"},"agent_actions":{"view_html":"https://pith.science/pith/LP6AIPXEIMSPKU4G3KK3GE5BLI","download_json":"https://pith.science/pith/LP6AIPXEIMSPKU4G3KK3GE5BLI.json","view_paper":"https://pith.science/paper/LP6AIPXE","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1607.02966&json=true","fetch_graph":"https://pith.science/api/pith-number/LP6AIPXEIMSPKU4G3KK3GE5BLI/graph.json","fetch_events":"https://pith.science/api/pith-number/LP6AIPXEIMSPKU4G3KK3GE5BLI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LP6AIPXEIMSPKU4G3KK3GE5BLI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LP6AIPXEIMSPKU4G3KK3GE5BLI/action/storage_attestation","attest_author":"https://pith.science/pith/LP6AIPXEIMSPKU4G3KK3GE5BLI/action/author_attestation","sign_citation":"https://pith.science/pith/LP6AIPXEIMSPKU4G3KK3GE5BLI/action/citation_signature","submit_replication":"https://pith.science/pith/LP6AIPXEIMSPKU4G3KK3GE5BLI/action/replication_record"}},"created_at":"2026-05-18T01:11:14.271616+00:00","updated_at":"2026-05-18T01:11:14.271616+00:00"}