Congestion pricing is widely used to improve transportation network efficiency where individual decentralized route choices can lead to system-level inefficiencies. Pigouvian tolls achieve the system optimum but depend on demand and can lose effectiveness under demand shifts, particularly on structurally critical bottl...
Sheryl Paul, Samuel Williams, Ke-Xin Wang et al.· 0 citations
Existing models of mixed-autonomy weaving ramps characterize how altruistic connected and automated vehicles (CAVs) can improve traffic efficiency at the population level, but provide limited insight into how such behavior emerges from decentralized vehicle interactions or how it is affected by finite populations, hete...
Sheryl Paul, Ke-Xin Wang, Ruo-Lin Li et al.· 0 citations
Two encodings of the problem of planning multi-agent paths that satisfy constraints written in STL-GO are presented, one based on mixed-integer programming (MIP) and another based on satisfiability modulo theory (SMT), with soundness guarantees.