{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:4QWNBTFEGMMMS7CU7UUKANYW7H","short_pith_number":"pith:4QWNBTFE","canonical_record":{"source":{"id":"2401.17187","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-01-30T17:16:32Z","cross_cats_sorted":[],"title_canon_sha256":"1a8b848b3aabe4027f5035503d51f8b57e569e995c3c56bb28cf98fb0364dae6","abstract_canon_sha256":"c27bd8695ef46bf9b24f13ea97dfb77f1758db68a9197967ef76c06bc8f0a2d1"},"schema_version":"1.0"},"canonical_sha256":"e42cd0cca43318c97c54fd28a03716f9c310d8e46dce791f7660bfd2573fd5a2","source":{"kind":"arxiv","id":"2401.17187","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.17187","created_at":"2026-07-05T07:40:07Z"},{"alias_kind":"arxiv_version","alias_value":"2401.17187v2","created_at":"2026-07-05T07:40:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.17187","created_at":"2026-07-05T07:40:07Z"},{"alias_kind":"pith_short_12","alias_value":"4QWNBTFEGMMM","created_at":"2026-07-05T07:40:07Z"},{"alias_kind":"pith_short_16","alias_value":"4QWNBTFEGMMMS7CU","created_at":"2026-07-05T07:40:07Z"},{"alias_kind":"pith_short_8","alias_value":"4QWNBTFE","created_at":"2026-07-05T07:40:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:4QWNBTFEGMMMS7CU7UUKANYW7H","target":"record","payload":{"canonical_record":{"source":{"id":"2401.17187","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-01-30T17:16:32Z","cross_cats_sorted":[],"title_canon_sha256":"1a8b848b3aabe4027f5035503d51f8b57e569e995c3c56bb28cf98fb0364dae6","abstract_canon_sha256":"c27bd8695ef46bf9b24f13ea97dfb77f1758db68a9197967ef76c06bc8f0a2d1"},"schema_version":"1.0"},"canonical_sha256":"e42cd0cca43318c97c54fd28a03716f9c310d8e46dce791f7660bfd2573fd5a2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:40:07.196010Z","signature_b64":"ZiuPNz8keEFWJUIxg9WdWrp2Dv2gGMNT8/SU/hc20ZXvFMU9vuweSLLbIwlF/h7nqa6nOOBtivU66QhA1W9DAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e42cd0cca43318c97c54fd28a03716f9c310d8e46dce791f7660bfd2573fd5a2","last_reissued_at":"2026-07-05T07:40:07.195625Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:40:07.195625Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2401.17187","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T07:40:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jogqFj6sgDpeWzdAVm2Uyg6PSLqb6UZaM01j2VTTiQKk9a9fqAAt+pOsH0IFB470dle1GtbKyxyFO+sQkxp4DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T02:04:52.945969Z"},"content_sha256":"6dd1d5071c03ecd4c5e808a37d68acafc5a9d748768b685c042fa4af1b7bb850","schema_version":"1.0","event_id":"sha256:6dd1d5071c03ecd4c5e808a37d68acafc5a9d748768b685c042fa4af1b7bb850"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:4QWNBTFEGMMMS7CU7UUKANYW7H","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formal Synthesis of Uncertainty Reduction Controllers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Calum Imrie, Gena\\'ina Rodrigues, Lars Grunske, Marc Carwehl, Radu Calinescu, Thomas Vogel","submitted_at":"2024-01-30T17:16:32Z","abstract_excerpt":"In its quest for approaches to taming uncertainty in self-adaptive systems (SAS), the research community has largely focused on solutions that adapt the SAS architecture or behaviour in response to uncertainty. By comparison, solutions that reduce the uncertainty affecting SAS (other than through the blanket monitoring of their components and environment) remain underexplored. Our paper proposes a more nuanced, adaptive approach to SAS uncertainty reduction. To that end, we introduce a SAS architecture comprising an uncertainty reduction controller that drives the adaptive acquisition of new i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.17187","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/2401.17187/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T07:40:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"p8XFLGRsCKghRlNR41R/cqjIfptLtldXu1bitvWitLZWT8MujfFJUjpZVwFh4MjHpAA+kURjCipQRiRVDnfQAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T02:04:52.946459Z"},"content_sha256":"fc7edd9b661d234a6dc0469d44fbaee72bc190745b03fb3c6631501bfe9de0b6","schema_version":"1.0","event_id":"sha256:fc7edd9b661d234a6dc0469d44fbaee72bc190745b03fb3c6631501bfe9de0b6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4QWNBTFEGMMMS7CU7UUKANYW7H/bundle.json","state_url":"https://pith.science/pith/4QWNBTFEGMMMS7CU7UUKANYW7H/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4QWNBTFEGMMMS7CU7UUKANYW7H/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-05T02:04:52Z","links":{"resolver":"https://pith.science/pith/4QWNBTFEGMMMS7CU7UUKANYW7H","bundle":"https://pith.science/pith/4QWNBTFEGMMMS7CU7UUKANYW7H/bundle.json","state":"https://pith.science/pith/4QWNBTFEGMMMS7CU7UUKANYW7H/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4QWNBTFEGMMMS7CU7UUKANYW7H/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:4QWNBTFEGMMMS7CU7UUKANYW7H","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":"c27bd8695ef46bf9b24f13ea97dfb77f1758db68a9197967ef76c06bc8f0a2d1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-01-30T17:16:32Z","title_canon_sha256":"1a8b848b3aabe4027f5035503d51f8b57e569e995c3c56bb28cf98fb0364dae6"},"schema_version":"1.0","source":{"id":"2401.17187","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.17187","created_at":"2026-07-05T07:40:07Z"},{"alias_kind":"arxiv_version","alias_value":"2401.17187v2","created_at":"2026-07-05T07:40:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.17187","created_at":"2026-07-05T07:40:07Z"},{"alias_kind":"pith_short_12","alias_value":"4QWNBTFEGMMM","created_at":"2026-07-05T07:40:07Z"},{"alias_kind":"pith_short_16","alias_value":"4QWNBTFEGMMMS7CU","created_at":"2026-07-05T07:40:07Z"},{"alias_kind":"pith_short_8","alias_value":"4QWNBTFE","created_at":"2026-07-05T07:40:07Z"}],"graph_snapshots":[{"event_id":"sha256:fc7edd9b661d234a6dc0469d44fbaee72bc190745b03fb3c6631501bfe9de0b6","target":"graph","created_at":"2026-07-05T07:40:07Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2401.17187/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In its quest for approaches to taming uncertainty in self-adaptive systems (SAS), the research community has largely focused on solutions that adapt the SAS architecture or behaviour in response to uncertainty. By comparison, solutions that reduce the uncertainty affecting SAS (other than through the blanket monitoring of their components and environment) remain underexplored. Our paper proposes a more nuanced, adaptive approach to SAS uncertainty reduction. To that end, we introduce a SAS architecture comprising an uncertainty reduction controller that drives the adaptive acquisition of new i","authors_text":"Calum Imrie, Gena\\'ina Rodrigues, Lars Grunske, Marc Carwehl, Radu Calinescu, Thomas Vogel","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-01-30T17:16:32Z","title":"Formal Synthesis of Uncertainty Reduction Controllers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.17187","kind":"arxiv","version":2},"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:6dd1d5071c03ecd4c5e808a37d68acafc5a9d748768b685c042fa4af1b7bb850","target":"record","created_at":"2026-07-05T07:40:07Z","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":"c27bd8695ef46bf9b24f13ea97dfb77f1758db68a9197967ef76c06bc8f0a2d1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-01-30T17:16:32Z","title_canon_sha256":"1a8b848b3aabe4027f5035503d51f8b57e569e995c3c56bb28cf98fb0364dae6"},"schema_version":"1.0","source":{"id":"2401.17187","kind":"arxiv","version":2}},"canonical_sha256":"e42cd0cca43318c97c54fd28a03716f9c310d8e46dce791f7660bfd2573fd5a2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e42cd0cca43318c97c54fd28a03716f9c310d8e46dce791f7660bfd2573fd5a2","first_computed_at":"2026-07-05T07:40:07.195625Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:40:07.195625Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZiuPNz8keEFWJUIxg9WdWrp2Dv2gGMNT8/SU/hc20ZXvFMU9vuweSLLbIwlF/h7nqa6nOOBtivU66QhA1W9DAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T07:40:07.196010Z","signed_message":"canonical_sha256_bytes"},"source_id":"2401.17187","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6dd1d5071c03ecd4c5e808a37d68acafc5a9d748768b685c042fa4af1b7bb850","sha256:fc7edd9b661d234a6dc0469d44fbaee72bc190745b03fb3c6631501bfe9de0b6"],"state_sha256":"c9cc256b50e5c21db2c91f036067e7c89071864f2391e147dbda23777acd17a7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PBGmqR1P9tgp2hAWOwdS3hZdR0KlFvjKWUOlD/bsZNJEQo2vn7nSktDi6/FUp5ZaIiPHXIe5VRgtWb1YvSIXBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T02:04:52.950329Z","bundle_sha256":"d76e1152beaa057e0aa12f3a518b35c5f0111a3364ce7512fe758729ac4a7fa2"}}