{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:SXLRQ5WOTSXHIQJMAHQ7O24LWI","short_pith_number":"pith:SXLRQ5WO","canonical_record":{"source":{"id":"1808.00787","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-08-02T12:55:06Z","cross_cats_sorted":[],"title_canon_sha256":"7129cf29f55128a6d5c3e12ab6433bf4049803a4666b670a28c631cea23b406f","abstract_canon_sha256":"6fada520d5d01521c261448414fa593520b107a4b4730e7b7d9e7806060b4b6b"},"schema_version":"1.0"},"canonical_sha256":"95d71876ce9cae74412c01e1f76b8bb214e237fb696e1a1b26076fbfecbd6bce","source":{"kind":"arxiv","id":"1808.00787","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.00787","created_at":"2026-05-18T00:05:30Z"},{"alias_kind":"arxiv_version","alias_value":"1808.00787v2","created_at":"2026-05-18T00:05:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.00787","created_at":"2026-05-18T00:05:30Z"},{"alias_kind":"pith_short_12","alias_value":"SXLRQ5WOTSXH","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_16","alias_value":"SXLRQ5WOTSXHIQJM","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_8","alias_value":"SXLRQ5WO","created_at":"2026-05-18T12:32:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:SXLRQ5WOTSXHIQJMAHQ7O24LWI","target":"record","payload":{"canonical_record":{"source":{"id":"1808.00787","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-08-02T12:55:06Z","cross_cats_sorted":[],"title_canon_sha256":"7129cf29f55128a6d5c3e12ab6433bf4049803a4666b670a28c631cea23b406f","abstract_canon_sha256":"6fada520d5d01521c261448414fa593520b107a4b4730e7b7d9e7806060b4b6b"},"schema_version":"1.0"},"canonical_sha256":"95d71876ce9cae74412c01e1f76b8bb214e237fb696e1a1b26076fbfecbd6bce","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:05:30.053434Z","signature_b64":"Uw1QIQ94p+3trg+nV73wmaWT94YTeEqsE9gX5o+cNsfEplP1Pf/mN55OM95LPPmMzFxcQw2yqOthHYYb+iH3CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"95d71876ce9cae74412c01e1f76b8bb214e237fb696e1a1b26076fbfecbd6bce","last_reissued_at":"2026-05-18T00:05:30.052765Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:05:30.052765Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1808.00787","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-18T00:05:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"54PVYr9IrbjM3YYrtBV+JnK5IzDcSA3ik2i3fx3JHXcKeSK9vsq8+3xGPr9VZxxBF3OZaKPN9n7QQ9PCRCR9Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T08:17:33.839353Z"},"content_sha256":"1a86f08d10fc21ec41da950825a1512d93086c92d2b0f63ed03b989162de798e","schema_version":"1.0","event_id":"sha256:1a86f08d10fc21ec41da950825a1512d93086c92d2b0f63ed03b989162de798e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:SXLRQ5WOTSXHIQJMAHQ7O24LWI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Fleet Sizing in Vehicle Sharing Systems with Service Quality Guarantees","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Emilio Frazzoli, Michal \\v{C}\\'ap, Szabolcs Vajna","submitted_at":"2018-08-02T12:55:06Z","abstract_excerpt":"Vehicle sharing system consists of a fleet of vehicles (usually bikes or cars) that can be rented at one station and returned at another station. We study how to achieve guaranteed service availability in such systems. Specifically, we are interested in determining a) the fleet size and initial allocation of vehicles to stations and b) the minimum capacity of each station needed to guarantee that a) every customer will find an available vehicle at the origin station and b) the customer will find a free parking spot at the destination station. We model the evolution of number of vehicles at eac"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.00787","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-18T00:05:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eYZeivkOi700i/ZWirJ88nfqTg4NrLOWRLbp0g/eb9QB+AuNbfv+wi4eF2rnmxPMm/UMWXwoE9I8BmUm0cNgCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T08:17:33.839703Z"},"content_sha256":"f24e046c27769df734586ffe32dd5828d1350fb15ad59ea9696fd9ceea939be0","schema_version":"1.0","event_id":"sha256:f24e046c27769df734586ffe32dd5828d1350fb15ad59ea9696fd9ceea939be0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SXLRQ5WOTSXHIQJMAHQ7O24LWI/bundle.json","state_url":"https://pith.science/pith/SXLRQ5WOTSXHIQJMAHQ7O24LWI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SXLRQ5WOTSXHIQJMAHQ7O24LWI/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-02T08:17:33Z","links":{"resolver":"https://pith.science/pith/SXLRQ5WOTSXHIQJMAHQ7O24LWI","bundle":"https://pith.science/pith/SXLRQ5WOTSXHIQJMAHQ7O24LWI/bundle.json","state":"https://pith.science/pith/SXLRQ5WOTSXHIQJMAHQ7O24LWI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SXLRQ5WOTSXHIQJMAHQ7O24LWI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:SXLRQ5WOTSXHIQJMAHQ7O24LWI","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":"6fada520d5d01521c261448414fa593520b107a4b4730e7b7d9e7806060b4b6b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-08-02T12:55:06Z","title_canon_sha256":"7129cf29f55128a6d5c3e12ab6433bf4049803a4666b670a28c631cea23b406f"},"schema_version":"1.0","source":{"id":"1808.00787","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.00787","created_at":"2026-05-18T00:05:30Z"},{"alias_kind":"arxiv_version","alias_value":"1808.00787v2","created_at":"2026-05-18T00:05:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.00787","created_at":"2026-05-18T00:05:30Z"},{"alias_kind":"pith_short_12","alias_value":"SXLRQ5WOTSXH","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_16","alias_value":"SXLRQ5WOTSXHIQJM","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_8","alias_value":"SXLRQ5WO","created_at":"2026-05-18T12:32:53Z"}],"graph_snapshots":[{"event_id":"sha256:f24e046c27769df734586ffe32dd5828d1350fb15ad59ea9696fd9ceea939be0","target":"graph","created_at":"2026-05-18T00:05:30Z","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":"Vehicle sharing system consists of a fleet of vehicles (usually bikes or cars) that can be rented at one station and returned at another station. We study how to achieve guaranteed service availability in such systems. Specifically, we are interested in determining a) the fleet size and initial allocation of vehicles to stations and b) the minimum capacity of each station needed to guarantee that a) every customer will find an available vehicle at the origin station and b) the customer will find a free parking spot at the destination station. We model the evolution of number of vehicles at eac","authors_text":"Emilio Frazzoli, Michal \\v{C}\\'ap, Szabolcs Vajna","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-08-02T12:55:06Z","title":"Fleet Sizing in Vehicle Sharing Systems with Service Quality Guarantees"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.00787","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:1a86f08d10fc21ec41da950825a1512d93086c92d2b0f63ed03b989162de798e","target":"record","created_at":"2026-05-18T00:05:30Z","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":"6fada520d5d01521c261448414fa593520b107a4b4730e7b7d9e7806060b4b6b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-08-02T12:55:06Z","title_canon_sha256":"7129cf29f55128a6d5c3e12ab6433bf4049803a4666b670a28c631cea23b406f"},"schema_version":"1.0","source":{"id":"1808.00787","kind":"arxiv","version":2}},"canonical_sha256":"95d71876ce9cae74412c01e1f76b8bb214e237fb696e1a1b26076fbfecbd6bce","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"95d71876ce9cae74412c01e1f76b8bb214e237fb696e1a1b26076fbfecbd6bce","first_computed_at":"2026-05-18T00:05:30.052765Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:05:30.052765Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Uw1QIQ94p+3trg+nV73wmaWT94YTeEqsE9gX5o+cNsfEplP1Pf/mN55OM95LPPmMzFxcQw2yqOthHYYb+iH3CQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:05:30.053434Z","signed_message":"canonical_sha256_bytes"},"source_id":"1808.00787","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1a86f08d10fc21ec41da950825a1512d93086c92d2b0f63ed03b989162de798e","sha256:f24e046c27769df734586ffe32dd5828d1350fb15ad59ea9696fd9ceea939be0"],"state_sha256":"2cea1a64a46ede21b34b596d6090b8c4f175393f37ce07d8a80d12f6ca45cd5b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0dVpIb7tJgsEuc8Vok5pD0RJLNf+TNDZ8NKdjdnQPOB2O0iLyU4OTlzpnrLgIgDE0kjz2JYWXbIDH3jwO7/WAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T08:17:33.841644Z","bundle_sha256":"05d809ab49f908b4c24e0b061bfc5605a0ff59ff83ca9c2fd81a366070888e1c"}}