Cynthia Barnhart, Ellis L Johnson, George L Nemhauser, Martin WP Savelsbergh, and Pamela H Vance. Branch-and-price: Column generation for solving huge integer programs. *Operations Research*, 46(3):316–329, 1998.

Nicolas Barnier and Cyril Allignol. 4d-trajectory deconfliction through departure time adjustment. In *ATM 2009, 8th USA/Europe Air Traffic Management Research and Development Seminar*, 2009.

Martin Beckmann, Charles B McGuire, and Christopher B Winsten. Studies in the economics of transportation. Technical report, 1956.

Shlomo Bekhor and Michael Sorani. Are there inefficient links in a real transportation network? In *6th Symposium of the European Association for Research in Transportation (hEART)*, Haifa, Israel, 2017.

Yoshua Bengio, Andrea Lodi, and Antoine Prouvost. Machine learning for combinatorial optimization: a methodological tour d'horizon. *European Journal of Operational Research*, 290(2):405–421, 2021.

Dimitris Bertsimas and Melvyn Sim. The price of robustness. *Operations Research*, 52(1): 35–53, 2004.

Dimitris Bertsimas, Guglielmo Lulli, and Amedeo Odoni. An integer optimization approach to large-scale air traffic flow management. *Operations research*, 59(1):211–227, 2011.

Karl Bilimoria. A geometric optimization approach to aircraft conflict resolution. In *18th Applied aerodynamics conference*, page 4265, 2000.

Karl Bilimoria, Banavar Sridhar, and Gano Chatterji. Effects of conflict resolution maneuvers and traffic density on free flight. In *Guidance, navigation, and control conference*, page 3767, 1996.

Pierre Bonami, Domenico Salvagnin, and Andrea Tramontani. Implementing automatic Benders decomposition in a modern MIP solver. In *International conference on integer programming and combinatorial optimization*, pages 78–90. Springer, 2020.

Deidre Bonini, Carole Dupré, and Géraud Granger. How erasmus can support an increase in capacity in 2020. In *Proceedings of the 7th International Conference on Computing, Communications and Control Technologies: CCCT*, page 6. Citeseer, 2009.

Dietrich Braess. Über ein Paradoxon aus der Verkehrsplanung. *Unternehmensforschung*, 12 (1):258–268, 1968.

Luce Brotcorne, Martine Labbé, Patrice Marcotte, and Gilles Savard. Joint design and pricing on a network. *Operations research*, 56(5):1104–1115, 2008.

Lucy Budd and Stephen Ison. Responsible transport: A post-covid agenda for transport policy and practice. *Transportation Research Interdisciplinary Perspectives*, 6:100151, 2020.

Sonia Cafieri. Aircraft conflict avoidance: a mixed-integer nonlinear optimization approach. In *GOW 2012, Global Optimization Workshop 2012*, pages pp-43, 2012.

Sonia Cafieri and Riadh Omheni. Mixed-integer nonlinear programming for aircraft conflict avoidance by sequentially applying velocity and heading angle changes. *European Journal of Operational Research*, 260(1):283–290, 2017.
Sonia Cafieri and David Rey. Maximizing the number of conflict-free aircraft using mixed-integer nonlinear programming. *Computers & Operations Research*, 80:147-158, 2017.

Dustin Carlino, Stephen D Boyles, and Peter Stone. Auction-based autonomous intersection management. In *16th International IEEE Conference on Intelligent Transportation Systems (ITSC 2013)*, pages 529-534. IEEE, 2013.

Lorenzo Castelli, Raffaele Pesenti, and Andrea Ranieri. The design of a market mechanism to allocate air traffic flow management slots. *Transportation research part C: Emerging technologies*, 19(5):931-943, 2011.

Andrea Censi, Saverio Bolognani, Julian G Zilly, Shima Sadat Mousavi, and Emilio Frazzoli. Today me, tomorrow thee: Efficient resource allocation in competitive settings using karma games. In *2019 IEEE Intelligent Transportation Systems Conference (ITSC)*, pages 686-693. IEEE, 2019.

Martina Cerulli, Claudia d'Ambrosio, Leo Liberti, and Mercedes Pelegrín. Detecting and solving aircraft conflicts using bilevel programming. *Journal of Global Optimization*, 81 (2):529-557, 2021.

Shantanu Chakraborty, David Rey, Michael W Levin, and S Travis Waller. Freeway network design with exclusive lanes for automated vehicles under endogenous mobility demand. *Transportation Research Part C: Emerging Technologies*, 133:103440, 2021.

Yu-Yuan Chang, Omar B Sawaya, and Athanasios K Ziliaskopoulos. A tabu search based approach for work zone scheduling. In *Proceeding of the Transportation Research Board 80th Annual Meeting, Washington, DC*, 2001.

Lei Chen and Cristofer Englund. Cooperative intersection management: a survey. *IEEE Transactions on Intelligent Transportation Systems*, 17(2):570-586, 2016.

Nan Chen, Lauren Gardner, and David Rey. Bilevel optimization model for the development of real-time strategies to minimize epidemic spreading risk in air traffic networks. *Transportation Research Record*, 2569(1):62-69, 2016.

Nathan Chen, David Rey, and Lauren Gardner. Multiscale network model for evaluating global outbreak control strategies. *Transportation Research Record*, 2626(1):42-50, 2017.

Rongsheng Chen, Jeffrey Hu, Michael W Levin, and David Rey. Stability-based analysis of autonomous intersection management with pedestrians. *Transportation Research Part C: Emerging Technologies*, 114:463-483, 2020.

Yi-Jen Chiang, James T Klosowski, Changkil Lee, and Joseph SB Mitchell. Geometric algorithms for conflict detection/resolution in air traffic management. In *Decision and Control, 1997., Proceedings of the 36th IEEE Conference on*, volume 2, pages 1835-1840. IEEE, 1997.

James C Chu and Yin-Jay Chen. Optimal threshold-based network-level transportation infrastructure life-cycle management with heterogeneous maintenance actions. *Transportation Research Part B: Methodological*, 46(9):1123-1143, 2012.

Edward H Clarke. Multipart pricing of public goods. *Public Choice*, pages 17-33, 1971.
Carleton Coffrin, Hassan Hijazi, and Pascal Van Hentenryck. The qc relaxation: A theoretical and computational study on optimal power flow. *IEEE Transactions on Power Systems*, 31(4):3008-3018, 2015.

IBM ILOG CPLEX. V12. 1: Users manual for CPLEX. *International Business Machines Corporation*, 46(53):157, 2009.

IBM ILOG CPLEX. v12.6: User's Manual for CPLEX, 2014.

Stella Dafermos. Traffic equilibrium and variational inequalities. *Transportation Science*, 14 (1):42–54, 1980.

Veronica Dal Sasso, Franklin Djeumou Fomeni, Guglielmo Lulli, and Konstantinos G Zografos. Planning efficient 4d trajectories in air traffic flow management. *European Journal of Operational Research*, 276(2):676–687, 2019.

Arnaud De La Fortelle and Xiangjun Qian. Autonomous driving at intersections: combining theoretical analysis with practical considerations. In *ITS World Congress*, 2015.

Stephan Dempe and Joydeep Dutta. Is bilevel programming a special case of a mathematical program with complementarity constraints? *Mathematical programming*, 131:37–48, 2012.

Fernando HC Dias and David Rey. Robust aircraft conflict resolution under trajectory prediction uncertainty. *Operations Research Letters*, 50(5):503–508, 2022.

Fernando HC Dias, Hassan Hijazi, and David Rey. Disjunctive linear separation conditions and mixed-integer formulations for aircraft conflict resolution. *European Journal of Operational Research*, 296(2):520–538, 2022.

Robert J Dolan. Incentive mechanisms for priority queuing problems. *The Bell Journal of Economics*, pages 421–436, 1978.

Xiaotong Dong, David Rey, and S Travis Waller. Dial-a-ride problem with users' accept/reject decisions based on service utilities. *Transportation Research Record*, 2674(10):55–67, 2020.

Xiaotong Dong, Joseph YJ Chow, S Travis Waller, and David Rey. A chance-constrained dial-a-ride problem with utility-maximising demand and multiple pricing structures. *Transportation Research Part E: Logistics and Transportation Review*, 158:102601, 2022.

Kurt Dresner and Peter Stone. Multiagent traffic management: A reservation-based intersection control mechanism. In *Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems-Volume 2*, pages 530–537. IEEE Computer Society, 2004.

Kurt Dresner and Peter Stone. Traffic intersections of the future. In *Proceedings of the National Conference on Artificial Intelligence*, volume 21, page 1593. Menlo Park, CA; Cambridge, MA; London; AAAI Press; MIT Press; 1999, 2006.

Kurt Dresner and Peter Stone. A multiagent approach to autonomous intersection management. *Journal of Artificial Intelligence Research*, 31:591–656, 2008.

Nicolas Durand and Jean-Marc Alliot. Ant colony optimization for air traffic conflict resolution. In *ATM Seminar 2009, 8th USA/Europe Air Traffic Management Research and Development Seminar*, 2009.
Nicolas Durand, Jean-Marc Alliot, and Olivier Chansou. Optimal resolution of en route conflicts. In *Proceedings of the 1st USA/Europe Seminar*, 1997.

Ohad Eisenhandler and Michal Tzur. The humanitarian pickup and distribution problem. *Operations Research*, 67(1):10–32, 2019.

David Fajardo, Tsz-Chiu Au, S Waller, Peter Stone, and David Yang. Automated intersection control: Performance of future innovation versus current traffic signal control. *Transportation Research Record: Journal of the Transportation Research Board*, (2259):223–232, 2011.

M Fampa, LA Barroso, D Candal, and Luidi Simonetti. Bilevel optimization applied to strategic pricing in competitive electricity markets. *Computational Optimization and Applications*, 39(2):121–142, 2008.

Hamid Farvaresh and Mohammad Mehdi Sepehri. A single-level mixed integer linear formulation for a bi-level discrete network design problem. *Transportation Research Part E: Logistics and Transportation Review*, 47(5):623–640, 2011.

Hamid Farvaresh and Mohammad Mehdi Sepehri. A branch and bound algorithm for bi-level discrete network design problem. *Networks and Spatial Economics*, 13(1):67–106, 2013.

Martina Fischetti and Matteo Fischetti. Matheuristics. In *Handbook of heuristics*, pages 121–153. Springer, 2018.

Matteo Fischetti, Ivana Ljubić, Michele Monaci, and Markus Sinnl. A new general-purpose algorithm for mixed-integer bilevel linear programs. *Operations Research*, 65(6):1615–1637, 2017.

Pirmin Fontaine and Stefan Minner. Benders decomposition for discrete-continuous linear bilevel problems with application to traffic network design. *Transportation Research Part B: Methodological*, 70:163–172, 2014.

Pirmin Fontaine and Stefan Minner. A dynamic discrete network design problem for maintenance planning in traffic networks. *Annals of Operations Research*, 253(2):757–772, 2017.

Emilio Frazzoli, Z-H Mao, J-H Oh, and Eric Feron. Resolution of conflicts involving many aircraft via semidefinite programming. *Journal of Guidance, Control, and Dynamics*, 24 (1):79–86, 2001.

Ziyou Gao, Jianjun Wu, and Huijun Sun. Solution algorithm for the bi-level discrete network design problem. *Transportation Research Part B: Methodological*, 39(6):479–495, 2005.

Lauren M Gardner, David Rey, Anita E Heywood, Renin Toms, James Wood, S Travis Waller, and C Raina MacIntyre. A scenario-based evaluation of the middle east respiratory syndrome coronavirus and the hajj. *Risk Analysis*, 34(8):1391–1400, 2014.

Jean Gregoire, Emilio Frazzoli, Arnaud de La Fortelle, and Tichakorn Wongpiromsarn. Backpressure traffic signal control with unknown routing rates. *IFAC Proceedings Volumes*, 47 (3):11332–11337, 2014.

Theodore Groves and Martin Loeb. Incentives and public inputs. *Journal of Public Economics*, 4(3):211–226, 1975.

Erik Halvorson, Vincent Conitzer, and Ronald Parr. Multi-step multi-sensor hider-seeker games. In *Proceedings of the 21st international joint conference on Artificial intelligence (IJCAI)*, pages 159–166. Morgan Kaufmann Publishers Inc., 2009.
Ahmed WA Hammad, Ali Akbarnezhad, and David Rey. A multi-objective mixed integer nonlinear programming model for construction site layout planning to minimise noise pollution and transport costs. *Automation in Construction*, 61:73–85, 2016a.

Ahmed WA Hammad, Ali Akbarnezhad, David Rey, and S Travis Waller. A computational method for estimating travel frequencies in site layout planning. *Journal of Construction Engineering and Management*, 142(5):04015102, 2016b.

Ahmed WA Hammad, Ali Akbarnezhad, and David Rey. Bilevel mixed-integer linear programming model for solving the single airport location problem. *Journal of Computing in Civil Engineering*, 31(5):06017001, 2017a.

Ahmed WA Hammad, Ali Akbarnezhad, and David Rey. Sustainable urban facility location: Minimising noise pollution and network congestion. *Transportation Research Part E: Logistics and Transportation Review*, 107:38–59, 2017b.

Ahmed WA Hammad, David Rey, and Ali Akbarnezhad. A cutting plane algorithm for the site layout planning problem with travel barriers. *Computers & Operations Research*, 82: 36–51, 2017c.

Deren Han and Hong K Lo. Solving non-additive traffic assignment problems: a descent method for co-coercive variational inequalities. *European Journal of Operational Research*, 159(3):529–544, 2004.

Elise Henry, Angelo Furno, Nour-Eddin El Faouzi, and David Rey. Locating park-and-ride facilities for resilient on-demand urban mobility. *Transportation Research Part E: Logistics and Transportation Review*, 158:102557, 2022.

Hassan Hijazi, Pierre Bonami, and Adam Ouorou. A Note on Linear On/Off Constraints. *NICTA Technical Report*, April 2014. URL http://www.optimization-online.org/DB_FILE/2014/04/4309.pdf.

Hassan Hijazi, Carleton Coffrin, and Pascal Van Hentenryck. Convex quadratic relaxations for mixed-integer nonlinear programs in power systems. *Mathematical Programming Computation*, 9(3):321–367, 2017.

Taha Hossein Rashidi, David Rey, Sisi Jian, and Travis Waller. A clustering algorithm for bicriteria stop location design with elastic demand. *Computer-Aided Civil and Infrastructure Engineering*, 31(2):117–131, 2016.

Jianghai Hu, Maria Prandini, and Shankar Sastry. Optimal coordinated maneuvers for three-dimensional aircraft conflict resolution. *Journal of Guidance, Control, and Dynamics*, 25 (5):888–900, 2002.

Annex ICAO. The convention on international civil aviation. *Montreal, Canada*, 1, 2010.

Manish Jain, Erim Kardeş, Christopher Kiekintveld, Milind Tambe, and Fernando Ordóñez. Security games with arbitrary schedules: a branch and price approach. In *Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence*, pages 792–797. AAAI Press, 2010.

Sisi Jian, David Rey, and Vinayak V Dixit. Dynamic optimal vehicle relocation in carshare systems. *Transportation Research Record*, 2567(1):1–9, 2016.
Sisi Jian, David Rey, and Vinayak V Dixit. An integrated supply-demand approach to solving optimal relocations in station-based carsharing systems. *Networks and Spatial Economics*, 19(2):611–632, 2019.

Mor Kaspi, Tal Raviv, and Michal Tzur. Parking reservation policies in one-way vehicle sharing systems. *Transportation Research Part B: Methodological*, 62:35–50, 2014.

Thomas Kleinert, Martine Labbé, Fränk Plein, and Martin Schmidt. There's no free lunch: on the hardness of choosing a correct big-M in bilevel optimization. *Operations Research*, 68(6):1716–1721, 2020.

Thomas Kleinert, Martine Labbé, Ivana Ljubić, and Martin Schmidt. A survey on mixed-integer programming techniques in bilevel optimization. *EURO Journal on Computational Optimization*, 9:100007, 2021.

Rico Krueger, Taha H Rashidi, and John M Rose. Preferences for shared autonomous vehicles. *Transportation research part C: emerging technologies*, 69:343–355, 2016.

Tung Le, Péter Kovács, Neil Walton, Hai L Vu, Lachlan LH Andrew, and Serge SP Hoogen- doorn. Decentralized signal control for urban road networks. *Transportation Research Part C: Emerging Technologies*, 58:431–450, 2015.

Tung Le, Hai L Vu, Neil Walton, Serge P Hoogendoorn, Péter Kovács, and Rudesindo N Queija. Utility optimization framework for a distributed traffic control of urban road networks. *Transportation Research Part B: Methodological*, 105:539–558, 2017.

Larry J Leblanc. An algorithm for the discrete network design problem. *Transportation Science*, 9(3):183–199, 1975.

Hsin-Yun Lee. Optimizing schedule for improving the traffic impact of work zone on roads. *Automation in Construction*, 18(8):1034–1044, 2009.

Thibault Lehouillier, Jérémy Omer, François Soumis, and Guy Desaulniers. Two decomposition algorithms for solving a minimum weight maximum clique model for the air conflict resolution problem. *European Journal of Operational Research*, 256(3):696–712, 2017.

Emilio Leonardi, Marco Mellia, Fabio Neri, and M Ajmone Marsan. Bounds on average delays and queue size averages and variances in input-queued cell-based switches. In *INFOCOM 2001. Twentieth Annual Joint Conference of the IEEE Computer and Communications Societies. Proceedings. IEEE*, volume 2, pages 1095–1103. IEEE, 2001.

Michael W Levin and David Rey. Conflict-point formulation of intersection control for autonomous vehicles. *Transportation Research Part C: Emerging Technologies*, 85:528–547, 2017.

Zhixia Li, Madhav Chitturi, Dongxi Zheng, Andrea Bill, and David Noyce. Modeling reservation-based autonomous intersection control in Vissim. *Transportation Research Record: Journal of the Transportation Research Board*, (2381):81–90, 2013.

DianChao Lin and Saif Eddin Jabari. Pay for intersection priority: A free market mechanism for connected vehicles. *arXiv preprint arXiv:2001.01813*, 2020.

Shaonan Liu, Mingzheng Wang, Nan Kong, and Xiangpei Hu. An enhanced branch-and-bound algorithm for bilevel integer linear programming. *European Journal of Operational Research*, 291(2):661–679, 2021.
Roger Lloret-Batlle and R Jayakrishnan. Envy-minimizing pareto efficient intersection control with brokered utility exchanges under user heterogeneity. *Transportation Research Part B: Methodological*, 94:22-42, 2016.

Andrea Lodi. Mixed integer programming computation. In *50 years of integer programming 1958-2008*, pages 619-645. Springer, 2010.

Andrea Lodi and Giulia Zarpellon. On learning and branching: a survey. *Top*, 25(2):207-236, 2017.

Paramet Luathep, Agachai Sumalee, William HK Lam, Zhi-Chun Li, and Hong K Lo. Global optimization method for mixed transportation network design problem: a mixed-integer linear programming approach. *Transportation Research Part B: Methodological*, 45(5): 808-827, 2011.

Marco E Lübbecke and Jacques Desrosiers. Selected topics in column generation. *Operations Research*, 53(6):1007-1023, 2005.

Thomas L Magnanti and Richard T Wong. Network design and transportation planning: Models and algorithms. *Transportation Science*, 18(1):1-55, 1984.

Stephen J Maher, Tobias Fischer, Tristan Gally, Gerald Gamrath, Ambros Gleixner, Robert Lion Gottwald, Gregor Hendel, Thorsten Koch, Marco Lübbecke, Matthias Miltenberger, et al. The SCIP optimization suite 4.0. 2017.

Andreas A Malikopoulos, Christos G Cassandras, and Yue J Zhang. A decentralized energy-optimal control framework for connected automated vehicles at signal-free intersections. *Automatica*, 93:244-256, 2018.

Garth P McCormick. Computability of global solutions to factorable nonconvex programs: Part I—convex underestimating problems. *Mathematical Programming*, 10(1):147-175, 1976.

Amir Mirheli, Mehrdad Tajalli, Leila Hajibabai, and Ali Hajbabaie. A consensus-based distributed trajectory control in a signal-free intersection. *Transportation Research Part C: Emerging Technologies*, 100:161-176, 2019.

Julien Monteil. *Investigating the effects of cooperative vehicles on highway traffic flow homogenization: analytical and simulation studies*. PhD thesis, Université de Lyon, 2014.

Matteo Muratori. Impact of uncoordinated plug-in electric vehicle charging on residential power demand. *Nature Energy*, 3(3):193-201, 2018.

Divya J Nair, Hanna Grzybowska, David Rey, and Vinayak V Dixit. Food rescue and delivery: Heuristic algorithm for periodic unpaired pickup and delivery vehicle routing problem. *Transportation Research Record*, 2548(1):81-89, 2016.

Divya J Nair, David Rey, and Vinayak V Dixit. Fair allocation and cost-effective routing models for food rescue and redistribution. *IISE Transactions*, 49(12):1172-1188, 2017.

Ali Najmi, David Rey, and Taha H Rashidi. Novel dynamic formulations for real-time ride-sharing systems. *Transportation Research Part E: Logistics and Transportation Review*, 108:122-140, 2017.
Gordon F Newell. A simplified theory of kinematic waves in highway traffic, part I: General theory. *Transportation Research Part B: Methodological*, 27(4):281-287, 1993.

ManWo Ng, Dung Ying Lin, and S Travis Waller. Optimal long-term infrastructure maintenance planning accounting for traffic dynamics. *Computer-Aided Civil and Infrastructure Engineering*, 24(7):459-469, 2009.

Jérémy Omer. A space-discretized mixed-integer linear model for air-conflict resolution with speed and heading maneuvers. *Computers & Operations Research*, 58:75-86, 2015.

Jérémy Omer and Jean-Loup Farges. Hybridization of nonlinear and mixed-integer linear programming for aircraft separation with trajectory recovery. *IEEE Transactions on Intelligent Transportation Systems*, 14(3):1218-1230, 2013.

Lucia Pallottino, Eric M Feron, and Antonio Bicchi. Conflict resolution problems for air traffic management systems solved with mixed integer programming. *IEEE transactions on intelligent transportation systems*, 3(1):3-11, 2002.

Theodoros P Pantelidis, Joseph YJ Chow, and Saeid Rasulkhani. A many-to-many assignment game and stable outcome algorithm to evaluate collaborative mobility-as-a-service platforms. *Transportation Research Part B: Methodological*, 140:79-100, 2020.

Michael Patriksson. On the applicability and solution of bilevel optimization models in transportation science: A study on the existence, stability and computation of optimal solutions to stochastic mathematical programs with equilibrium constraints. *Transportation Research Part B: Methodological*, 42(10):843-860, 2008.

Mercedes Pelegrín and Claudia d'Ambrosio. Aircraft deconfliction via mathematical programming: Review and insights. *Transportation Science*, 56(1):118-140, 2022.

Guido Perboli, Luce Brotcorne, Maria Elena Bruni, and Mariangela Rosano. A new model for last-mile delivery and satellite depots management: The impact of the on-demand economy. *Transportation Research Part E: Logistics and Transportation Review*, 145:102184, 2021.

Amalia Polydoropoulou, Ioanna Pagoni, Athena Tsirimpa, Athena Roumboutsos, Maria Karmigianni, and Ioannis Tsouros. Prototype business models for mobility-as-a-service. *Transportation Research Part A: Policy and Practice*, 131:149-162, 2020.

Warren B Powell. A unified framework for stochastic optimization. *European Journal of Operational Research*, 275(3):795-821, 2019.

Suchithra Rajendran and Sharan Srinivas. Air taxi service for urban mobility: A critical review of recent developments, future challenges, and opportunities. *Transportation research part E: logistics and transportation review*, 143:102090, 2020.

Taha Hossein Rashidi, Travis Waller, and Kay Axhausen. Reduced value of time for autonomous vehicle users: Myth or reality? *Transport Policy*, 95:30-36, 2020.

John Reif and Micha Sharir. Motion planning in the presence of moving obstacles. *Journal of the ACM (JACM)*, 41(4):764-790, 1994.

David Rey. Computational benchmarking of exact methods for the bilevel discrete network design problem. *Transportation Research Procedia*, 47:11-18, 2020.
David Rey and Hillel Bar-Gera. Long-term scheduling for road network disaster recovery. *International Journal of Disaster Risk Reduction*, 42:101353, 2020.

David Rey and Hassan Hijazi. Complex number formulation and convex relaxations for aircraft conflict resolution. In *2017 IEEE 56th Annual Conference on Decision and Control (CDC)*, pages 88–93. IEEE, 2017.

David Rey and Michael W Levin. Blue phase: Optimal network traffic control for legacy and autonomous vehicles. *Transportation Research Part B: Methodological*, 130:105–129, 2019.

David Rey, Christophe Rapine, Rémy Fondacci, and Nour-Eddin El Faouzi. Minimization of potential air conflicts through speed regulation. *Transportation research record: journal of the transportation research board*, 2300:59–67, 2012.

David Rey, Christophe Rapine, Vinayak V Dixit, and Steven Travis Waller. Equity-oriented aircraft collision avoidance model. *IEEE Transactions on Intelligent Transportation Systems*, 16(1):172–183, 2015.

David Rey, Vinayak V Dixit, Jean-Luc Ygnace, and S Travis Waller. An endogenous lottery-based incentive mechanism to promote off-peak usage in congested transit systems. *Transport Policy*, 46:46–55, 2016a.

David Rey, Lauren Gardner, and S Travis Waller. Finding outbreak trees in networks with limited information. *Networks and Spatial Economics*, 16(2):687–721, 2016b.

David Rey, Christophe Rapine, Rémy Fondacci, and Nour-Eddin El Faouzi. Subliminal speed control in air traffic management: Optimization and simulation. *Transportation Science*, 50(1):240–262, 2016c.

David Rey, Khaled Almi'ani, and Divya J Nair. Exact and heuristic algorithms for finding envy-free allocations in food rescue pickup and delivery logistics. *Transportation Research Part E: Logistics and Transportation Review*, 112:19–46, 2018.

David Rey, Hillel Bar-Gera, Vinayak V Dixit, and S Travis Waller. A branch-and-price algorithm for the bilevel network maintenance scheduling problem. *Transportation Science*, 53(5):1455–1478, 2019.

David Rey, Michael W Levin, and Vinayak V Dixit. Online incentive-compatible mechanisms for traffic intersection auctions. *European Journal of Operational Research*, 293(1):229–247, 2021.

Muhammed O Sayin, Chung-Wei Lin, Shinichi Shiraishi, Jiajun Shen, and Tamer Başar. Information-driven autonomous intersection control via incentive compatible mechanisms. *IEEE Transactions on Intelligent Transportation Systems*, 20(3):912–924, 2018.

Heiko Schepperle and Klemens Böhm. Agent-based traffic control using auctions. In *International Workshop on Cooperative Information Agents*, pages 119–133. Springer, 2007.

Babak Shahbazi, Ali Akbarnezhad, David Rey, Alireza Ahmadian Fard Fini, and Martin Loosemore. Optimization of job allocation in construction organizations to maximize workers' career development opportunities. *Journal of Construction Engineering and Management*, 145(6):04019036, 2019.

Hyelim Shin, Taesik Lee, and Hyun-Rok Lee. Skyport location problem for urban air mobility system. *Computers & Operations Research*, 138:105611, 2022.
Michael J Smith. Traffic control and route-choice; a simple example. *Transportation Research Part B: Methodological*, 13(4):289-294, 1979.

Wayne E Smith. Various optimizers for single-stage production. *Naval Research Logistics Quarterly*, 3(1-2):59-66, 1956.

Ninja Soeffker, Marlin W Ulmer, and Dirk C Mattfeld. Stochastic dynamic vehicle routing in the light of prescriptive analytics: A review. *European Journal of Operational Research*, 2021.

Changle Song, Julien Monteil, Jean-Luc Ygnace, and David Rey. Incentives for ridesharing: A case study of welfare and traffic congestion. *Journal of Advanced Transportation*, 2021, 2021.

Adil Tahir, Frédéric Quesnel, Guy Desaulniers, Issmail El Hallaoui, and Yassine Yaakoubi. An improved integral column generation algorithm using machine learning for aircrew pairing. *Transportation Science*, 55(6):1411-1429, 2021.

Leandros Tassiulas and Anthony Ephremides. Stability properties of constrained queueing systems and scheduling policies for maximum throughput in multihop radio networks. *Automatic Control, IEEE Transactions on*, 37(12):1936-1948, 1992.

Víctor Valls, Julien Monteil, and Mélanie Bouroche. A convex optimisation approach to traffic signal control. In *Intelligent Transportation Systems (ITSC), 2016 IEEE 19th International Conference on*, pages 1508-1515. IEEE, 2016.

Charlie Vanaret, David Gianazza, Nicolas Durand, and Jean-Baptiste Gotteland. Benchmarking conflict resolution algorithms. In *ICRAT 2012 Fifth International Conference on Research in Air Transportation*, 2012.

Pravin Varaiya. Max pressure control of a network of signalized intersections. *Transportation Research Part C: Emerging Technologies*, 36:177-195, 2013.

Matteo Vasirani and Sascha Ossowski. A market-inspired approach for intersection management in urban road traffic networks. *Journal of Artificial Intelligence Research*, 43: 621-659, 2012.

Mohammad M Vazifeh, Paolo Santi, Giovanni Resta, Steven H Strogatz, and Carlo Ratti. Addressing the minimum fleet problem in on-demand urban mobility. *Nature*, 557(7706): 534-538, 2018.

Adan Vela, Senay Solak, William Singhose, and John-Paul Clarke. A mixed integer program for flight-level assignment and speed control for conflict resolution. In *Decision and Control, 2009 held jointly with the 2009 28th Chinese Control Conference, CDC/CCC 2009. Proceedings of the 48th IEEE Conference on*, pages 5219-5226. IEEE, 2009a.

Adan E Vela, Erwan Salaün, Senay Solak, and Eric Feron. A two-stage stochastic optimization model for air traffic conflict resolution under wind uncertainty. In *Digital Avionics Systems Conference, 2009. DASC'09. IEEE/AIAA 28th*, pages 2-E. IEEE, 2009b.

Adan E Vela, Senay Solak, Eric Feron, Karen Feigh, William Singhose, and John-Paul Clarke. A fuel optimal and reduced controller workload optimization model for conflict resolution. In *Digital Avionics Systems Conference, 2009. DASC'09. IEEE/AIAA 28th*, pages 3-C. IEEE, 2009c.
William Vickrey. Counterspeculation, auctions, and competitive sealed tenders. *The Journal of Finance*, 16(1):8–37, 1961.

Stacy A Voccia, Ann Melissa Campbell, and Barrett W Thomas. The same-day delivery problem for online purchases. *Transportation Science*, 53(1):167–184, 2019.

Andreas Wächter and Lorenz T Biegler. On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming. *Mathematical programming*, 106(1):25–57, 2006.

David ZW Wang, Haoxiang Liu, and Wai Y Szeto. A novel discrete network design problem formulation and its global optimization solution algorithm. *Transportation Research Part E: Logistics and Transportation Review*, 79:213–230, 2015.

Shuaian Wang, Qiang Meng, and Hai Yang. Global optimization methods for the discrete network design problem. *Transportation Research Part B: Methodological*, 50:42–60, 2013.

John Glen Wardrop. Some theoretical aspects of road traffic research. In *Inst Civil Engineers Proc London/UK/, 1952.*

Tat Wang Wong, Neeraj Saxena, and Vinayak V Dixit. A study of route choice behavior of drivers in autonomous vehicles. In *Transportation Research Board 97th Annual Meeting. Transportation Research Board, 2018.*

Tichakorn Wongpiromsarn, Tawit Uthaicharoenpong, Yu Wang, Emilio Frazzoli, and Danwei Wang. Distributed traffic signal control for maximum network throughput. In *Intelligent Transportation Systems (ITSC), 2012 15th International IEEE Conference on*, pages 588–595. IEEE, 2012.

Yuanyuan Wu, Haipeng Chen, and Feng Zhu. Dcl-aim: Decentralized coordination learning of autonomous intersection management for connected and automated vehicles. *Transportation Research Part C: Emerging Technologies*, 103:246–260, 2019.

Haoning Xi, Didier Aussel, Wei Liu, S Travis Waller, and David Rey. Single-leader multi-follower games for the regulation of two-sided mobility-as-a-service markets. *European Journal of Operational Research*, 2022.

Nan Xiao, Emilio Frazzoli, Yitong Li, Yu Wang, and Danwei Wang. Pressure releasing policy in traffic signal control with finite queue capacities. In *Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on*, pages 6492–6497. IEEE, 2014.

Zhitao Xiong, David Rey, Vinayak V Dixit, and S Travis Waller. An algorithmic framework for the scheduling of construction projects based on ant colony optimization and expert knowledge. In *Intelligent Transportation Systems (ITSC), 2014 IEEE 17th International Conference on*, pages 2446–2452. IEEE, 2014.

Isaak Yperman, Steven Logghe, and Ben Immers. The link transmission model: An efficient implementation of the kinematic wave theory in traffic networks. In *Proceedings of the 10th EWGT Meeting, Poznan, Poland*, 2005.

Ali A Zaidi, Balázs Kulcsár, and Henk Wymeersch. Back-pressure traffic signal control with fixed and adaptive routing for urban vehicular networks. *IEEE Transactions on Intelligent Transportation Systems*, 17(8):2134–2143, 2016.
Bo Zeng. A practical scheme to compute the pessimistic bilevel optimization problem. *IN-FORMS Journal on Computing*, 32(4):1128-1142, 2020.

Xiang Zhang, David Rey, and S Travis Waller. Multitype recharge facility location for electric vehicles. *Computer-Aided Civil and Infrastructure Engineering*, 33(11):943-965, 2018.

Xiang Zhang, David Rey, S Travis Waller, and Nathan Chen. Range-constrained traffic assignment with multi-modal recharge for electric vehicles. *Networks and Spatial Economics*, 19(2):633-668, 2019a.

Xiang Zhang, S Travis Waller, David Rey, and Melissa Duell. Integrating uncertainty considerations into multi-objective transportation network design projects accounting for environment disruption. *Transportation Letters*, 11(7):351-361, 2019b.

Yue Zhang, Andreas A Malikopoulos, and Christos G Cassandras. Decentralized optimal control for connected automated vehicles at intersections including left and right turns. In *Decision and Control (CDC), 2017 IEEE 56th Annual Conference on*, pages 4428-4433. IEEE, 2017.

Yue J Zhang, Andreas A Malikopoulos, and Christos G Cassandras. Optimal control and coordination of connected and automated vehicles at urban traffic intersections. In *American Control Conference (ACC), 2016*, pages 6227-6232. IEEE, 2016.

Xianbo Zhao, Yongjian Ke, Jian Zuo, Wei Xiong, and Peng Wu. Evaluation of sustainable transport research in 2000-2019. *Journal of Cleaner Production*, 256:120404, 2020.

Hong Zheng, Chengdong Cai, Eric Nava, V Dixit, Yi-Chang Chiu, Essam Radwan, and Dane Ismart. Optimization of renewal-based project scheduling in an urban network. In *91st Annual Meeting of the Transportation Research Board, Washington DC*, pages 1-20, 2012.

Feng Zhu and Satish V Ukkusuri. A linear programming formulation for autonomous intersection control within a dynamic traffic assignment and connected vehicle environment. *Transportation Research Part C: Emerging Technologies*, 55:363-378, 2015.

Aleksa Zlojutro, David Rey, and Lauren Gardner. A decision-support framework to optimize border control for global outbreak mitigation. *Scientific Reports*, 9(1):1-14, 2019.