{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:5YV6OIRX2HP77KXFYVVE7J5YD2","short_pith_number":"pith:5YV6OIRX","schema_version":"1.0","canonical_sha256":"ee2be72237d1dfffaae5c56a4fa7b81e85b0bb96098cc62506855ea7ee65e7ed","source":{"kind":"arxiv","id":"1912.06513","version":1},"attestation_state":"computed","paper":{"title":"Reducing selfish routing inefficiencies using traffic lights","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.MA"],"primary_cat":"cs.GT","authors_text":"Charlotte Roman, Paolo Turrini","submitted_at":"2019-12-13T14:18:13Z","abstract_excerpt":"Traffic congestion games abstract away from the costs of junctions in transport networks, yet, in urban environments, these often impact journey times significantly. In this paper we equip congestion games with traffic lights, modelled as junction-based waiting cycles, therefore enabling more realistic route planning strategies. Using the SUMO simulator, we show that our modelling choices coincide with realistic routing behaviours, in particular, that drivers' decisions about route choices are based on the proportion of red light time for their direction of travel. Drawing upon the experimenta"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1912.06513","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2019-12-13T14:18:13Z","cross_cats_sorted":["cs.AI","cs.MA"],"title_canon_sha256":"3861c86a6570a2bc48bb07801e86ccd9e4f3ec5dfae179a626427a43adfdbb77","abstract_canon_sha256":"073c60d6ab606bb2f8f27ca74a6819ecb76dd7c003037c7e70d2ae75b52a01ee"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:26:01.846210Z","signature_b64":"k75xLPeAc23edyq08RVQ82sLR2xUIcf3igtWrN+fuzioKwaLzKdY1PmwUiUdrVPqx99qq+so726/Z+BAGdb4Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ee2be72237d1dfffaae5c56a4fa7b81e85b0bb96098cc62506855ea7ee65e7ed","last_reissued_at":"2026-07-05T00:26:01.845806Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:26:01.845806Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Reducing selfish routing inefficiencies using traffic lights","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.MA"],"primary_cat":"cs.GT","authors_text":"Charlotte Roman, Paolo Turrini","submitted_at":"2019-12-13T14:18:13Z","abstract_excerpt":"Traffic congestion games abstract away from the costs of junctions in transport networks, yet, in urban environments, these often impact journey times significantly. In this paper we equip congestion games with traffic lights, modelled as junction-based waiting cycles, therefore enabling more realistic route planning strategies. Using the SUMO simulator, we show that our modelling choices coincide with realistic routing behaviours, in particular, that drivers' decisions about route choices are based on the proportion of red light time for their direction of travel. Drawing upon the experimenta"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1912.06513","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1912.06513/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1912.06513","created_at":"2026-07-05T00:26:01.845870+00:00"},{"alias_kind":"arxiv_version","alias_value":"1912.06513v1","created_at":"2026-07-05T00:26:01.845870+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1912.06513","created_at":"2026-07-05T00:26:01.845870+00:00"},{"alias_kind":"pith_short_12","alias_value":"5YV6OIRX2HP7","created_at":"2026-07-05T00:26:01.845870+00:00"},{"alias_kind":"pith_short_16","alias_value":"5YV6OIRX2HP77KXF","created_at":"2026-07-05T00:26:01.845870+00:00"},{"alias_kind":"pith_short_8","alias_value":"5YV6OIRX","created_at":"2026-07-05T00:26:01.845870+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/5YV6OIRX2HP77KXFYVVE7J5YD2","json":"https://pith.science/pith/5YV6OIRX2HP77KXFYVVE7J5YD2.json","graph_json":"https://pith.science/api/pith-number/5YV6OIRX2HP77KXFYVVE7J5YD2/graph.json","events_json":"https://pith.science/api/pith-number/5YV6OIRX2HP77KXFYVVE7J5YD2/events.json","paper":"https://pith.science/paper/5YV6OIRX"},"agent_actions":{"view_html":"https://pith.science/pith/5YV6OIRX2HP77KXFYVVE7J5YD2","download_json":"https://pith.science/pith/5YV6OIRX2HP77KXFYVVE7J5YD2.json","view_paper":"https://pith.science/paper/5YV6OIRX","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1912.06513&json=true","fetch_graph":"https://pith.science/api/pith-number/5YV6OIRX2HP77KXFYVVE7J5YD2/graph.json","fetch_events":"https://pith.science/api/pith-number/5YV6OIRX2HP77KXFYVVE7J5YD2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5YV6OIRX2HP77KXFYVVE7J5YD2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5YV6OIRX2HP77KXFYVVE7J5YD2/action/storage_attestation","attest_author":"https://pith.science/pith/5YV6OIRX2HP77KXFYVVE7J5YD2/action/author_attestation","sign_citation":"https://pith.science/pith/5YV6OIRX2HP77KXFYVVE7J5YD2/action/citation_signature","submit_replication":"https://pith.science/pith/5YV6OIRX2HP77KXFYVVE7J5YD2/action/replication_record"}},"created_at":"2026-07-05T00:26:01.845870+00:00","updated_at":"2026-07-05T00:26:01.845870+00:00"}