Pith. sign in

Reducing urban traffic congestion due to localized routing decisions

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
abstract

Balancing traffic flow by influencing drivers' route choices to alleviate congestion is becoming increasingly more appealing in urban traffic planning. Here, we introduce a discrete dynamical model comprising users who make their own routing choices on the basis of local information and those who consider routing advice based on localized inducement. We identify the formation of traffic patterns, develop a scalable optimization method for identifying control values used for user guidance, and test the effectiveness of these measures on synthetic and real-world road networks.

citation-role summary

other 1

citation-polarity summary

fields

cs.PL 1

years

2025 1

verdicts

CONDITIONAL 1

roles

other 1

polarities

unclear 1

representative citing papers

Increasing the Expressiveness of a Gradual Verifier

cs.PL · 2025-07-17 · conditional · novelty 5.0

Gradual C0's specification language gains unfolding expressions through a modified symbolic-execution rule that retains optimistic heap chunks when predicate bodies are precise.

citing papers explorer

Showing 1 of 1 citing paper.

  • Increasing the Expressiveness of a Gradual Verifier cs.PL · 2025-07-17 · conditional · none · ref 6 · internal anchor

    Gradual C0's specification language gains unfolding expressions through a modified symbolic-execution rule that retains optimistic heap chunks when predicate bodies are precise.