{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:SIXU3CABDABSMFUB6CX4PU56AF","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":"ce6afb7de92ca64b61509616a9d0ce15c30099a70036382f93fc4ccba2f42250","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2016-03-03T13:01:34Z","title_canon_sha256":"7c8300d01312da2ee616ca5206a5341358b7bd7e2b8640ab47481c2d5bc9cc9b"},"schema_version":"1.0","source":{"id":"1603.01082","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.01082","created_at":"2026-05-18T01:10:39Z"},{"alias_kind":"arxiv_version","alias_value":"1603.01082v2","created_at":"2026-05-18T01:10:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.01082","created_at":"2026-05-18T01:10:39Z"},{"alias_kind":"pith_short_12","alias_value":"SIXU3CABDABS","created_at":"2026-05-18T12:30:44Z"},{"alias_kind":"pith_short_16","alias_value":"SIXU3CABDABSMFUB","created_at":"2026-05-18T12:30:44Z"},{"alias_kind":"pith_short_8","alias_value":"SIXU3CAB","created_at":"2026-05-18T12:30:44Z"}],"graph_snapshots":[{"event_id":"sha256:5fb19a5e935b25f728e069c314664f70a952facc4a09ab7f29c65bb94d7633a9","target":"graph","created_at":"2026-05-18T01:10:39Z","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":"The widespread adoption of autonomous systems depends on providing guarantees of safety and functional correctness, at both design time and runtime. Information about the extent to which functional requirements can be met in combination with non-functional requirements (NFRs) -- i.e. requirements that can be partially complied with -- , under dynamic and uncertain environments, provides opportunities to enhance the safety and functional correctness of systems at design time. We present a technique to formally define system attributes that can change or be changed to deal with dynamic and uncer","authors_text":"Arthur Richards, Dejanira Araiza-Illan, Jeremy Morse, Jonathan Lawry, Kerstin Eder","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2016-03-03T13:01:34Z","title":"Formal Specification and Analysis of Autonomous Systems under Partial Compliance"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.01082","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:7f73b65a3aee281dc618c4882bb8cf2494754b718b016055b84a29a9637b5fb9","target":"record","created_at":"2026-05-18T01:10:39Z","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":"ce6afb7de92ca64b61509616a9d0ce15c30099a70036382f93fc4ccba2f42250","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2016-03-03T13:01:34Z","title_canon_sha256":"7c8300d01312da2ee616ca5206a5341358b7bd7e2b8640ab47481c2d5bc9cc9b"},"schema_version":"1.0","source":{"id":"1603.01082","kind":"arxiv","version":2}},"canonical_sha256":"922f4d88011803261681f0afc7d3be0147bb60b69713f409ef0e4c6f0e091624","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"922f4d88011803261681f0afc7d3be0147bb60b69713f409ef0e4c6f0e091624","first_computed_at":"2026-05-18T01:10:39.841831Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:10:39.841831Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8zcCygvTODvfQaupLnAvlLkAQaOueA8G9v9FmvimGStIU38BXMVsLLQhNcRDgQKq6n+Emeyx2YhWLa2d9N2XAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:10:39.842368Z","signed_message":"canonical_sha256_bytes"},"source_id":"1603.01082","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7f73b65a3aee281dc618c4882bb8cf2494754b718b016055b84a29a9637b5fb9","sha256:5fb19a5e935b25f728e069c314664f70a952facc4a09ab7f29c65bb94d7633a9"],"state_sha256":"36935435ec49fb4f7157bdea8acd5878de1baa19c7911c0ca65146a457859895"}