{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:RMWWOIVYK7JGZECKEHVRNMPKV7","short_pith_number":"pith:RMWWOIVY","canonical_record":{"source":{"id":"1606.01077","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-06-03T13:18:33Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"e7a6327a726f056a48a2ed241c3e6c5439f8bcee7f1f95e559d4d5328f1d8747","abstract_canon_sha256":"aa122fb72fe19d497464b4bec37c29926ff08771eaa7ad365556a9b6151d7a61"},"schema_version":"1.0"},"canonical_sha256":"8b2d6722b857d26c904a21eb16b1eaaff4c45f4ef7b3700b7f91d57346ae5c06","source":{"kind":"arxiv","id":"1606.01077","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.01077","created_at":"2026-06-04T18:09:43Z"},{"alias_kind":"arxiv_version","alias_value":"1606.01077v3","created_at":"2026-06-04T18:09:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.01077","created_at":"2026-06-04T18:09:43Z"},{"alias_kind":"pith_short_12","alias_value":"RMWWOIVYK7JG","created_at":"2026-06-04T18:09:43Z"},{"alias_kind":"pith_short_16","alias_value":"RMWWOIVYK7JGZECK","created_at":"2026-06-04T18:09:43Z"},{"alias_kind":"pith_short_8","alias_value":"RMWWOIVY","created_at":"2026-06-04T18:09:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:RMWWOIVYK7JGZECKEHVRNMPKV7","target":"record","payload":{"canonical_record":{"source":{"id":"1606.01077","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-06-03T13:18:33Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"e7a6327a726f056a48a2ed241c3e6c5439f8bcee7f1f95e559d4d5328f1d8747","abstract_canon_sha256":"aa122fb72fe19d497464b4bec37c29926ff08771eaa7ad365556a9b6151d7a61"},"schema_version":"1.0"},"canonical_sha256":"8b2d6722b857d26c904a21eb16b1eaaff4c45f4ef7b3700b7f91d57346ae5c06","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-04T18:09:43.575514Z","signature_b64":"1rsodb3wctWytBWgSrMKrpMTHpquXbDBVGoXyxz+LHp2V+i4Rq70BPgy0Htpx+W+bNS5POZsNblNgyQnWKd6CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8b2d6722b857d26c904a21eb16b1eaaff4c45f4ef7b3700b7f91d57346ae5c06","last_reissued_at":"2026-06-04T18:09:43.575009Z","signature_status":"signed_v1","first_computed_at":"2026-06-04T18:09:43.575009Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1606.01077","source_version":3,"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-06-04T18:09:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3IoLbMvhxmrJ1+p641hP+Mh+f1s6NNumWI2mpBGPeuExBWy2Zl60LAQi4UdkKVswfPePn4NqESCZZOQ8iwb+DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T11:21:53.215749Z"},"content_sha256":"05bd7c5793f362d3aa8b3953c588e7c02e74b7cacfb32ac17abc44ee3ec589f9","schema_version":"1.0","event_id":"sha256:05bd7c5793f362d3aa8b3953c588e7c02e74b7cacfb32ac17abc44ee3ec589f9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:RMWWOIVYK7JGZECKEHVRNMPKV7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Fuzzy Approach to Qualification in Design Exploration for Autonomous Robots and Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.SE","authors_text":"Arthur Richards, Dejanira Araiza-Illan, Jeremy Morse, Jonathan Lawry, Kerstin Eder","submitted_at":"2016-06-03T13:18:33Z","abstract_excerpt":"Autonomous robots must operate in complex and changing environments subject to requirements on their behaviour. Verifying absolute satisfaction (true or false) of these requirements is challenging. Instead, we analyse requirements that admit flexible degrees of satisfaction. We analyse vague requirements using fuzzy logic, and probabilistic requirements using model checking. The resulting analysis method provides a partial ordering of system designs, identifying trade-offs between different requirements in terms of the degrees to which they are satisfied. A case study involving a home care rob"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.01077","kind":"arxiv","version":3},"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/1606.01077/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-06-04T18:09:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CCPWVx/InD2f4aRFeBB7MZiD57p2SFkMeTKcWqswjHywzKZLTQ59G1E8AKS2wrOcbRb4D/jvG5rg7Pi/KHoWDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T11:21:53.216454Z"},"content_sha256":"1fdd209e1408ada13297dcab4c9df05b082db5b4d84d5a48919877ebb2e75dc1","schema_version":"1.0","event_id":"sha256:1fdd209e1408ada13297dcab4c9df05b082db5b4d84d5a48919877ebb2e75dc1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RMWWOIVYK7JGZECKEHVRNMPKV7/bundle.json","state_url":"https://pith.science/pith/RMWWOIVYK7JGZECKEHVRNMPKV7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RMWWOIVYK7JGZECKEHVRNMPKV7/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-05T11:21:53Z","links":{"resolver":"https://pith.science/pith/RMWWOIVYK7JGZECKEHVRNMPKV7","bundle":"https://pith.science/pith/RMWWOIVYK7JGZECKEHVRNMPKV7/bundle.json","state":"https://pith.science/pith/RMWWOIVYK7JGZECKEHVRNMPKV7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RMWWOIVYK7JGZECKEHVRNMPKV7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:RMWWOIVYK7JGZECKEHVRNMPKV7","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":"aa122fb72fe19d497464b4bec37c29926ff08771eaa7ad365556a9b6151d7a61","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-06-03T13:18:33Z","title_canon_sha256":"e7a6327a726f056a48a2ed241c3e6c5439f8bcee7f1f95e559d4d5328f1d8747"},"schema_version":"1.0","source":{"id":"1606.01077","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.01077","created_at":"2026-06-04T18:09:43Z"},{"alias_kind":"arxiv_version","alias_value":"1606.01077v3","created_at":"2026-06-04T18:09:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.01077","created_at":"2026-06-04T18:09:43Z"},{"alias_kind":"pith_short_12","alias_value":"RMWWOIVYK7JG","created_at":"2026-06-04T18:09:43Z"},{"alias_kind":"pith_short_16","alias_value":"RMWWOIVYK7JGZECK","created_at":"2026-06-04T18:09:43Z"},{"alias_kind":"pith_short_8","alias_value":"RMWWOIVY","created_at":"2026-06-04T18:09:43Z"}],"graph_snapshots":[{"event_id":"sha256:1fdd209e1408ada13297dcab4c9df05b082db5b4d84d5a48919877ebb2e75dc1","target":"graph","created_at":"2026-06-04T18:09:43Z","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/1606.01077/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Autonomous robots must operate in complex and changing environments subject to requirements on their behaviour. Verifying absolute satisfaction (true or false) of these requirements is challenging. Instead, we analyse requirements that admit flexible degrees of satisfaction. We analyse vague requirements using fuzzy logic, and probabilistic requirements using model checking. The resulting analysis method provides a partial ordering of system designs, identifying trade-offs between different requirements in terms of the degrees to which they are satisfied. A case study involving a home care rob","authors_text":"Arthur Richards, Dejanira Araiza-Illan, Jeremy Morse, Jonathan Lawry, Kerstin Eder","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-06-03T13:18:33Z","title":"A Fuzzy Approach to Qualification in Design Exploration for Autonomous Robots and Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.01077","kind":"arxiv","version":3},"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:05bd7c5793f362d3aa8b3953c588e7c02e74b7cacfb32ac17abc44ee3ec589f9","target":"record","created_at":"2026-06-04T18:09:43Z","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":"aa122fb72fe19d497464b4bec37c29926ff08771eaa7ad365556a9b6151d7a61","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-06-03T13:18:33Z","title_canon_sha256":"e7a6327a726f056a48a2ed241c3e6c5439f8bcee7f1f95e559d4d5328f1d8747"},"schema_version":"1.0","source":{"id":"1606.01077","kind":"arxiv","version":3}},"canonical_sha256":"8b2d6722b857d26c904a21eb16b1eaaff4c45f4ef7b3700b7f91d57346ae5c06","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8b2d6722b857d26c904a21eb16b1eaaff4c45f4ef7b3700b7f91d57346ae5c06","first_computed_at":"2026-06-04T18:09:43.575009Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-04T18:09:43.575009Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1rsodb3wctWytBWgSrMKrpMTHpquXbDBVGoXyxz+LHp2V+i4Rq70BPgy0Htpx+W+bNS5POZsNblNgyQnWKd6CA==","signature_status":"signed_v1","signed_at":"2026-06-04T18:09:43.575514Z","signed_message":"canonical_sha256_bytes"},"source_id":"1606.01077","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:05bd7c5793f362d3aa8b3953c588e7c02e74b7cacfb32ac17abc44ee3ec589f9","sha256:1fdd209e1408ada13297dcab4c9df05b082db5b4d84d5a48919877ebb2e75dc1"],"state_sha256":"a81c14bd7b60d60b9c3eaae80ffe6309bd09896ba74afb95c098e489a4d16e4e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VnK4nuYrV8YTPs09SPnk7lC/rlSKu8Q5ig5xz3IDhv9dsN3a22C8yw+KkIwUffmvrZUYey7M50jrn2Vbg9E9AA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T11:21:53.221632Z","bundle_sha256":"386f220f12a22176b87649516ec5dc6c6212275a5b550d61704454e69737ad2d"}}