{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:AZUMXWH6YZMUOXEUUJMTMWZWFN","short_pith_number":"pith:AZUMXWH6","canonical_record":{"source":{"id":"1303.3679","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2013-03-15T05:05:06Z","cross_cats_sorted":[],"title_canon_sha256":"a33e541da74058ed700f76c4c104e454decc89439f55b960e72084c06833a076","abstract_canon_sha256":"ee649ec1392548cb4286288c37e982443423469a9bbacb3bc55a527fe57507f8"},"schema_version":"1.0"},"canonical_sha256":"0668cbd8fec659475c94a259365b362b70341381fdb6fe049f5c973298393b12","source":{"kind":"arxiv","id":"1303.3679","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.3679","created_at":"2026-05-18T03:30:52Z"},{"alias_kind":"arxiv_version","alias_value":"1303.3679v1","created_at":"2026-05-18T03:30:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.3679","created_at":"2026-05-18T03:30:52Z"},{"alias_kind":"pith_short_12","alias_value":"AZUMXWH6YZMU","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_16","alias_value":"AZUMXWH6YZMUOXEU","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_8","alias_value":"AZUMXWH6","created_at":"2026-05-18T12:27:38Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:AZUMXWH6YZMUOXEUUJMTMWZWFN","target":"record","payload":{"canonical_record":{"source":{"id":"1303.3679","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2013-03-15T05:05:06Z","cross_cats_sorted":[],"title_canon_sha256":"a33e541da74058ed700f76c4c104e454decc89439f55b960e72084c06833a076","abstract_canon_sha256":"ee649ec1392548cb4286288c37e982443423469a9bbacb3bc55a527fe57507f8"},"schema_version":"1.0"},"canonical_sha256":"0668cbd8fec659475c94a259365b362b70341381fdb6fe049f5c973298393b12","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:30:52.688009Z","signature_b64":"IM1dINrbwk4Un1OXgk0UwvBkV5w8GOnM48eDIk/TR0KSmLYL38b2SuRBwrEQ4SFZ5VG8/wurZ/5BGBY73Wy6Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0668cbd8fec659475c94a259365b362b70341381fdb6fe049f5c973298393b12","last_reissued_at":"2026-05-18T03:30:52.687287Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:30:52.687287Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1303.3679","source_version":1,"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-18T03:30:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zcigYy5kyLcAZVFzfCldcklYJe+AVeU5w7WAQiqIFFV0fn1ozStqHI7CgZDzHrqrH+Dy+GWiIYA/vkNGWhRIAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T00:04:04.991292Z"},"content_sha256":"d71967720f03f8e0a2ee46e001185a3eae56310f5e260379708a287f7aef1e7b","schema_version":"1.0","event_id":"sha256:d71967720f03f8e0a2ee46e001185a3eae56310f5e260379708a287f7aef1e7b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:AZUMXWH6YZMUOXEUUJMTMWZWFN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Minimum-violation LTL Planning with Conflicting Specifications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Daniela Rus, Emilio Frazzoli, Jana Tumova, Luis I. Reyes Castro, Sertac Karaman","submitted_at":"2013-03-15T05:05:06Z","abstract_excerpt":"We consider the problem of automatic generation of control strategies for robotic vehicles given a set of high-level mission specifications, such as \"Vehicle x must eventually visit a target region and then return to a base,\" \"Regions A and B must be periodically surveyed,\" or \"None of the vehicles can enter an unsafe region.\" We focus on instances when all of the given specifications cannot be reached simultaneously due to their incompatibility and/or environmental constraints. We aim to find the least-violating control strategy while considering different priorities of satisfying different p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.3679","kind":"arxiv","version":1},"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-18T03:30:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bHyJCl+mjNbBtzo1QfA4AVmqQOEoPIrYJja4Md2DZ+7YKd27OAsAWmhiDwFE0+mCMMaRDVgJu7iENk4nSpS5BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T00:04:04.992051Z"},"content_sha256":"9e8294739d1d5cf869ab3946253da70d3e2e1abd13b41988aece24978a93b7f5","schema_version":"1.0","event_id":"sha256:9e8294739d1d5cf869ab3946253da70d3e2e1abd13b41988aece24978a93b7f5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AZUMXWH6YZMUOXEUUJMTMWZWFN/bundle.json","state_url":"https://pith.science/pith/AZUMXWH6YZMUOXEUUJMTMWZWFN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AZUMXWH6YZMUOXEUUJMTMWZWFN/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-05-26T00:04:04Z","links":{"resolver":"https://pith.science/pith/AZUMXWH6YZMUOXEUUJMTMWZWFN","bundle":"https://pith.science/pith/AZUMXWH6YZMUOXEUUJMTMWZWFN/bundle.json","state":"https://pith.science/pith/AZUMXWH6YZMUOXEUUJMTMWZWFN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AZUMXWH6YZMUOXEUUJMTMWZWFN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:AZUMXWH6YZMUOXEUUJMTMWZWFN","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":"ee649ec1392548cb4286288c37e982443423469a9bbacb3bc55a527fe57507f8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2013-03-15T05:05:06Z","title_canon_sha256":"a33e541da74058ed700f76c4c104e454decc89439f55b960e72084c06833a076"},"schema_version":"1.0","source":{"id":"1303.3679","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.3679","created_at":"2026-05-18T03:30:52Z"},{"alias_kind":"arxiv_version","alias_value":"1303.3679v1","created_at":"2026-05-18T03:30:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.3679","created_at":"2026-05-18T03:30:52Z"},{"alias_kind":"pith_short_12","alias_value":"AZUMXWH6YZMU","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_16","alias_value":"AZUMXWH6YZMUOXEU","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_8","alias_value":"AZUMXWH6","created_at":"2026-05-18T12:27:38Z"}],"graph_snapshots":[{"event_id":"sha256:9e8294739d1d5cf869ab3946253da70d3e2e1abd13b41988aece24978a93b7f5","target":"graph","created_at":"2026-05-18T03:30:52Z","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":"We consider the problem of automatic generation of control strategies for robotic vehicles given a set of high-level mission specifications, such as \"Vehicle x must eventually visit a target region and then return to a base,\" \"Regions A and B must be periodically surveyed,\" or \"None of the vehicles can enter an unsafe region.\" We focus on instances when all of the given specifications cannot be reached simultaneously due to their incompatibility and/or environmental constraints. We aim to find the least-violating control strategy while considering different priorities of satisfying different p","authors_text":"Daniela Rus, Emilio Frazzoli, Jana Tumova, Luis I. Reyes Castro, Sertac Karaman","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2013-03-15T05:05:06Z","title":"Minimum-violation LTL Planning with Conflicting Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.3679","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:d71967720f03f8e0a2ee46e001185a3eae56310f5e260379708a287f7aef1e7b","target":"record","created_at":"2026-05-18T03:30:52Z","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":"ee649ec1392548cb4286288c37e982443423469a9bbacb3bc55a527fe57507f8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2013-03-15T05:05:06Z","title_canon_sha256":"a33e541da74058ed700f76c4c104e454decc89439f55b960e72084c06833a076"},"schema_version":"1.0","source":{"id":"1303.3679","kind":"arxiv","version":1}},"canonical_sha256":"0668cbd8fec659475c94a259365b362b70341381fdb6fe049f5c973298393b12","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0668cbd8fec659475c94a259365b362b70341381fdb6fe049f5c973298393b12","first_computed_at":"2026-05-18T03:30:52.687287Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:30:52.687287Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IM1dINrbwk4Un1OXgk0UwvBkV5w8GOnM48eDIk/TR0KSmLYL38b2SuRBwrEQ4SFZ5VG8/wurZ/5BGBY73Wy6Cg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:30:52.688009Z","signed_message":"canonical_sha256_bytes"},"source_id":"1303.3679","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d71967720f03f8e0a2ee46e001185a3eae56310f5e260379708a287f7aef1e7b","sha256:9e8294739d1d5cf869ab3946253da70d3e2e1abd13b41988aece24978a93b7f5"],"state_sha256":"16cbe8b847b6e5eda864f61c8a2a1d633fa884a52e4d7bcf50ea6d594ed0ad00"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eje9RjWXVXCByGR0P25ZRPfljXwb5B059jn5CV5bv1ghjudpGnVzFNr3fQzbX8B4X7BLNAeIy4idd5eyBCn/Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T00:04:04.996759Z","bundle_sha256":"d337916b1483a6db58e41f20d6d69f12f24f0000b58d1c27df4f0df40be7b779"}}