{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:7VBTDOLY4HUT3ESK77QPJSNGFG","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":"32980bdf4cc6089f58b415d5c4d77d9ac0ea4d2f3bfaf80cb581e27bd978e2ff","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-04-15T09:57:48Z","title_canon_sha256":"b69bc6f8ad66661a1de1d7e265898f2997e15d0274000e0bcd931097b520716c"},"schema_version":"1.0","source":{"id":"1904.06938","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.06938","created_at":"2026-05-17T23:48:35Z"},{"alias_kind":"arxiv_version","alias_value":"1904.06938v1","created_at":"2026-05-17T23:48:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.06938","created_at":"2026-05-17T23:48:35Z"},{"alias_kind":"pith_short_12","alias_value":"7VBTDOLY4HUT","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"7VBTDOLY4HUT3ESK","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"7VBTDOLY","created_at":"2026-05-18T12:33:12Z"}],"graph_snapshots":[{"event_id":"sha256:5fb7db022fb31385c400c0bef75a8c68fb0112a6ac6ce74497241a5d6a0b082c","target":"graph","created_at":"2026-05-17T23:48:35Z","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":"Shield synthesis is an approach to enforce a set of safety-critical properties of a reactive system at runtime. A shield monitors the system and corrects any erroneous output values instantaneously. The shield deviates from the given outputs as little as it can and recovers to hand back control to the system as soon as possible. This paper takes its inspiration from a case study on mission planning for unmanned aerial vehicles (UAVs) in which k-stabilizing shields, which guarantee recovery in a finite time, could not be constructed. We introduce the notion of admissible shields, which improves","authors_text":"Bettina K\\\"onighofer, Laura Humphrey, Robert K\\\"onighofer, Ufuk Topcu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-04-15T09:57:48Z","title":"Synthesis of Admissible Shields"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.06938","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:610d1e96f9883408e3fcb5715151a039728a27b34e4a036331de4933dbdaec7f","target":"record","created_at":"2026-05-17T23:48:35Z","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":"32980bdf4cc6089f58b415d5c4d77d9ac0ea4d2f3bfaf80cb581e27bd978e2ff","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-04-15T09:57:48Z","title_canon_sha256":"b69bc6f8ad66661a1de1d7e265898f2997e15d0274000e0bcd931097b520716c"},"schema_version":"1.0","source":{"id":"1904.06938","kind":"arxiv","version":1}},"canonical_sha256":"fd4331b978e1e93d924affe0f4c9a6299cc9c0e1f0d73f983eb4a661e3846a37","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fd4331b978e1e93d924affe0f4c9a6299cc9c0e1f0d73f983eb4a661e3846a37","first_computed_at":"2026-05-17T23:48:35.719006Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:48:35.719006Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gILmNddAvUv7XsatSiQKstKU1BH5eSRzcTcn/2e579npHMTNV4UPF39Dn7ay95WIC5f1UmREqN9nOp4nRY75Ag==","signature_status":"signed_v1","signed_at":"2026-05-17T23:48:35.719596Z","signed_message":"canonical_sha256_bytes"},"source_id":"1904.06938","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:610d1e96f9883408e3fcb5715151a039728a27b34e4a036331de4933dbdaec7f","sha256:5fb7db022fb31385c400c0bef75a8c68fb0112a6ac6ce74497241a5d6a0b082c"],"state_sha256":"c205f914898fa84bd514aa83aafafca965e9df913d6c3aa80ac0f9201a83b5fa"}