{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:ZL6TRMME6USVI55AOAVK4X3IZM","short_pith_number":"pith:ZL6TRMME","canonical_record":{"source":{"id":"1404.2289","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-04-08T20:04:39Z","cross_cats_sorted":["cs.RO"],"title_canon_sha256":"040273ccdb39d9b8611e36e3d2700322710b8e562294b04908859729f585e87f","abstract_canon_sha256":"beec50bb54d1e13b9a9de27a1097bdec030786693f51b3d84e57338e2064fcd6"},"schema_version":"1.0"},"canonical_sha256":"cafd38b184f5255477a0702aae5f68cb1059751af68bff65cc3fcefc670742ae","source":{"kind":"arxiv","id":"1404.2289","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.2289","created_at":"2026-05-18T02:32:46Z"},{"alias_kind":"arxiv_version","alias_value":"1404.2289v2","created_at":"2026-05-18T02:32:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.2289","created_at":"2026-05-18T02:32:46Z"},{"alias_kind":"pith_short_12","alias_value":"ZL6TRMME6USV","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_16","alias_value":"ZL6TRMME6USVI55A","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_8","alias_value":"ZL6TRMME","created_at":"2026-05-18T12:28:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:ZL6TRMME6USVI55AOAVK4X3IZM","target":"record","payload":{"canonical_record":{"source":{"id":"1404.2289","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-04-08T20:04:39Z","cross_cats_sorted":["cs.RO"],"title_canon_sha256":"040273ccdb39d9b8611e36e3d2700322710b8e562294b04908859729f585e87f","abstract_canon_sha256":"beec50bb54d1e13b9a9de27a1097bdec030786693f51b3d84e57338e2064fcd6"},"schema_version":"1.0"},"canonical_sha256":"cafd38b184f5255477a0702aae5f68cb1059751af68bff65cc3fcefc670742ae","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:32:46.156035Z","signature_b64":"MVJKebSF5mcqCBVd5Xhi8XRVxlhJiEAqif1cZALaB6ZGnH/wT7tbeVufpSnUUJcPKtPVhrMVqjWkOo+1BMFTCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cafd38b184f5255477a0702aae5f68cb1059751af68bff65cc3fcefc670742ae","last_reissued_at":"2026-05-18T02:32:46.155440Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:32:46.155440Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1404.2289","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-05-18T02:32:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QMhzoWMovvwcZRZGBoiPW+QoXZHGSOJ2rb+VafyITJvyl9jSc2ReUdElRdj4Z0GO8zX2rraDeljO9jyvwSepCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T00:31:42.187344Z"},"content_sha256":"feaf2bdff2e418b35e6a1271f42106fb309d69b08e6a80df1f3cd97fda895436","schema_version":"1.0","event_id":"sha256:feaf2bdff2e418b35e6a1271f42106fb309d69b08e6a80df1f3cd97fda895436"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:ZL6TRMME6USVI55AOAVK4X3IZM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Minimal Revision Problem of Specification Automata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO"],"primary_cat":"cs.SY","authors_text":"Georgios E. Fainekos, Kangjin Kim, Sriram Sankaranarayanan","submitted_at":"2014-04-08T20:04:39Z","abstract_excerpt":"As robots are being integrated into our daily lives, it becomes necessary to provide guarantees on the safe and provably correct operation. Such guarantees can be provided using automata theoretic task and mission planning where the requirements are expressed as temporal logic specifications. However, in real-life scenarios, it is to be expected that not all user task requirements can be realized by the robot. In such cases, the robot must provide feedback to the user on why it cannot accomplish a given task. Moreover, the robot should indicate what tasks it can accomplish which are as \"close\""},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.2289","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":""},"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-05-18T02:32:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kqoOb1bYgfMdGcX3Ysl4gGpXyz1KlQh7lMcGbtFBlNGBJExMW1MrouAZJhaKn+Mil9T137RFhk4IUxnA/JCFBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T00:31:42.187885Z"},"content_sha256":"aae0cbc231840710a9cc5036fd58b4618ae53f42618fc287d0b810fdcf12d78c","schema_version":"1.0","event_id":"sha256:aae0cbc231840710a9cc5036fd58b4618ae53f42618fc287d0b810fdcf12d78c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZL6TRMME6USVI55AOAVK4X3IZM/bundle.json","state_url":"https://pith.science/pith/ZL6TRMME6USVI55AOAVK4X3IZM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZL6TRMME6USVI55AOAVK4X3IZM/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-06-26T00:31:42Z","links":{"resolver":"https://pith.science/pith/ZL6TRMME6USVI55AOAVK4X3IZM","bundle":"https://pith.science/pith/ZL6TRMME6USVI55AOAVK4X3IZM/bundle.json","state":"https://pith.science/pith/ZL6TRMME6USVI55AOAVK4X3IZM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZL6TRMME6USVI55AOAVK4X3IZM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:ZL6TRMME6USVI55AOAVK4X3IZM","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":"beec50bb54d1e13b9a9de27a1097bdec030786693f51b3d84e57338e2064fcd6","cross_cats_sorted":["cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-04-08T20:04:39Z","title_canon_sha256":"040273ccdb39d9b8611e36e3d2700322710b8e562294b04908859729f585e87f"},"schema_version":"1.0","source":{"id":"1404.2289","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.2289","created_at":"2026-05-18T02:32:46Z"},{"alias_kind":"arxiv_version","alias_value":"1404.2289v2","created_at":"2026-05-18T02:32:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.2289","created_at":"2026-05-18T02:32:46Z"},{"alias_kind":"pith_short_12","alias_value":"ZL6TRMME6USV","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_16","alias_value":"ZL6TRMME6USVI55A","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_8","alias_value":"ZL6TRMME","created_at":"2026-05-18T12:28:59Z"}],"graph_snapshots":[{"event_id":"sha256:aae0cbc231840710a9cc5036fd58b4618ae53f42618fc287d0b810fdcf12d78c","target":"graph","created_at":"2026-05-18T02:32:46Z","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":"As robots are being integrated into our daily lives, it becomes necessary to provide guarantees on the safe and provably correct operation. Such guarantees can be provided using automata theoretic task and mission planning where the requirements are expressed as temporal logic specifications. However, in real-life scenarios, it is to be expected that not all user task requirements can be realized by the robot. In such cases, the robot must provide feedback to the user on why it cannot accomplish a given task. Moreover, the robot should indicate what tasks it can accomplish which are as \"close\"","authors_text":"Georgios E. Fainekos, Kangjin Kim, Sriram Sankaranarayanan","cross_cats":["cs.RO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-04-08T20:04:39Z","title":"On the Minimal Revision Problem of Specification Automata"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.2289","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:feaf2bdff2e418b35e6a1271f42106fb309d69b08e6a80df1f3cd97fda895436","target":"record","created_at":"2026-05-18T02:32:46Z","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":"beec50bb54d1e13b9a9de27a1097bdec030786693f51b3d84e57338e2064fcd6","cross_cats_sorted":["cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-04-08T20:04:39Z","title_canon_sha256":"040273ccdb39d9b8611e36e3d2700322710b8e562294b04908859729f585e87f"},"schema_version":"1.0","source":{"id":"1404.2289","kind":"arxiv","version":2}},"canonical_sha256":"cafd38b184f5255477a0702aae5f68cb1059751af68bff65cc3fcefc670742ae","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cafd38b184f5255477a0702aae5f68cb1059751af68bff65cc3fcefc670742ae","first_computed_at":"2026-05-18T02:32:46.155440Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:32:46.155440Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MVJKebSF5mcqCBVd5Xhi8XRVxlhJiEAqif1cZALaB6ZGnH/wT7tbeVufpSnUUJcPKtPVhrMVqjWkOo+1BMFTCg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:32:46.156035Z","signed_message":"canonical_sha256_bytes"},"source_id":"1404.2289","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:feaf2bdff2e418b35e6a1271f42106fb309d69b08e6a80df1f3cd97fda895436","sha256:aae0cbc231840710a9cc5036fd58b4618ae53f42618fc287d0b810fdcf12d78c"],"state_sha256":"55e3de56d33b0b00a37bd2d3b6a5d73c0a2e43641fe157661cbc05b25a131e89"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/oGkEVKn4BsTf7K18qZnpOqaS6VecDs9eSX9ud8/UHzu7z/naozdMPE75UGG064M7t3I4RFQCH3KIhmH8jyHBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T00:31:42.190587Z","bundle_sha256":"04aeeb07272dc6dea8b5245e331af33e4fd6c3c0ce972bab68e9129862242567"}}