{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:Y6GBLCRQ2KOLOU334LEDIU2BWB","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":"210c4f820a18c7f91f0bd09f80c0320df3abe199a218b91e7e1e2425e09d5937","cross_cats_sorted":["cs.ET","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2019-07-01T04:37:06Z","title_canon_sha256":"f5121ac6f15d5ce86a681fcd6421718878aaf06d2cd78662754feafb4b601058"},"schema_version":"1.0","source":{"id":"1907.00540","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.00540","created_at":"2026-07-05T00:16:35Z"},{"alias_kind":"arxiv_version","alias_value":"1907.00540v1","created_at":"2026-07-05T00:16:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.00540","created_at":"2026-07-05T00:16:35Z"},{"alias_kind":"pith_short_12","alias_value":"Y6GBLCRQ2KOL","created_at":"2026-07-05T00:16:35Z"},{"alias_kind":"pith_short_16","alias_value":"Y6GBLCRQ2KOLOU33","created_at":"2026-07-05T00:16:35Z"},{"alias_kind":"pith_short_8","alias_value":"Y6GBLCRQ","created_at":"2026-07-05T00:16:35Z"}],"graph_snapshots":[{"event_id":"sha256:d5ea155bed2cd0757a51ca933b92382220ad4eb890fc99b37fcec92058904297","target":"graph","created_at":"2026-07-05T00:16: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1907.00540/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Plug-in Hybrid Electric Vehicles (PHEVs) are gaining popularity due to their economic efficiency as well as their contribution to green management. PHEVs allow the driver to use electric power exclusively for driving and then switch to gasoline as needed. The more gasoline a vehicle uses, the higher cost is required for the trip. However, a PHEV cannot last for a long period on stored electricity without being recharged. Thus, it needs frequent recharging compared to traditional gasoline-powered vehicles. Moreover, the battery recharging time is usually long, which leads to longer delays on a ","authors_text":"Ehab Al-Shaer, Md Hasan Shahriar, Mohammad Ashiqur Rahman, Quanyan Zhu","cross_cats":["cs.ET","cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2019-07-01T04:37:06Z","title":"A Formal Approach for Efficient Navigation Management of Hybrid Electric Vehicles on Long Trips"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.00540","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:e9e953372f33a1f716981dba1ab3edde3bb8a67936d52426c4029aa02242a2c5","target":"record","created_at":"2026-07-05T00:16: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":"210c4f820a18c7f91f0bd09f80c0320df3abe199a218b91e7e1e2425e09d5937","cross_cats_sorted":["cs.ET","cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2019-07-01T04:37:06Z","title_canon_sha256":"f5121ac6f15d5ce86a681fcd6421718878aaf06d2cd78662754feafb4b601058"},"schema_version":"1.0","source":{"id":"1907.00540","kind":"arxiv","version":1}},"canonical_sha256":"c78c158a30d29cb7537be2c8345341b043eed4b23b0ed2bcec027fb3b51b050e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c78c158a30d29cb7537be2c8345341b043eed4b23b0ed2bcec027fb3b51b050e","first_computed_at":"2026-07-05T00:16:35.560003Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:16:35.560003Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PYLhcb1xusYl2Hbk8Pm2fbGpF73osDentTTTi+zscw8iD0FJhzts4HU5y6wyHfiavhaTUULdFxCGCPYNM4P3Bg==","signature_status":"signed_v1","signed_at":"2026-07-05T00:16:35.560656Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.00540","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e9e953372f33a1f716981dba1ab3edde3bb8a67936d52426c4029aa02242a2c5","sha256:d5ea155bed2cd0757a51ca933b92382220ad4eb890fc99b37fcec92058904297"],"state_sha256":"a49ec521571c54c1157e2a6ee8c0bd3a8d10e64fb9b64b37a0a34d3fa27c8fa7"}