arXiv Science⌕ Search

arXiv · 2610.04030

Deterministic Stackelberg Strategies in Robotaxi Assignment Games

Abstract

In autonomous mobility duopolies, platforms compete for riders based on vehicle proximity. A critical operational challenge---faced by an incumbent proactively defending against a market entrant---is how to dispatch fleets to minimize demand poached by a reactive competitor. We model this competition as a zero-sum robotaxi assignment game, focusing on computing optimal deterministic Stackelberg strategies for the leader. We formulate this problem as an exact single-level integer linear program and use its relaxation to design a polynomial-time approximation algorithm achieving an additive error from the optimum. We argue that this is not far from best possible by proving that deciding whether a strictly positive payoff is achievable is NP-complete, and that approximating the optimal payoff within an additive error scaling linearly with the number of riders is NP-hard. We also provide an exact polynomial-time dynamic programming algorithm for computing the optimal Stackelberg payoff when riders and vehicles are on the Euclidean line. Finally, we complement our theoretical findings with an empirical evaluation using real-world ride-hailing data. The experiments demonstrate that our LP-based algorithm significantly outperforms its worst-case guarantee in practice, while lightweight heuristics achieve highly competitive payoffs with negligible computational overhead, offering practical solutions for large-scale deployments.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ioannis Caragiannis, Kostas Kollias, Mohammad Roghani, Aaron Schild, Ali Kemal Sinop. 2026-10-02. Deterministic Stackelberg Strategies in Robotaxi Assignment Games. https://arxiv.org/abs/2610.04030

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Multi-agent Assortment Optimization in Sequential Matching Markets

Motivated by the challenges faced by choice-based matching platforms, in this work, we study a generalization of the foundational model introduced by Ashlagi et al. (2022). Specifically, this model consists of two sides (e.g., customers and suppliers) who have preferences over the opposite side in the form of discrete choice models. A matching is realized through a two-step process where the platform's decision is to initially present to each agent on one side an assortment of users of the opposite side. The ultimate goal of the platform is to maximize the total expected revenue collected from the matching. Due to the computational complexity of this problem, we focus on the design of approximation algorithms with constant-factor guarantees for the constrained version of the problem under general choice preferences. First, to the best of our knowledge, we are the first to draw connections with the literature of submodular optimization and show that one-sided choice-oblivious approaches perform arbitrarily bad. Second, we show that, for the general setting, there exists a two-sided choice-aware randomized algorithm that achieves a (1-1/e)-approximation factor, which is the best possible. Third, we design an algorithm that is asymptotically optimal when one side follows the well-known multinomial-logit (MNL) choice model under the small probability regime. Fourth, we provide a simple and effective algorithm with a 1/4-approximation guarantee for the unconstrained setting with both sides following MNL models. Finally, we assess the performance of our proposed methods with a detailed computational study and discuss several extensions.

cs.GT↗

How a Cooperative-Override Circuit Suppresses Nash Play in Large Language Models

On the named Prisoner's Dilemma under direct prompting, three larger instruction-tuned models, Llama-3-70B, Qwen2.5-32B, and Qwen2.5-72B, lock at full cooperation, the metric's maximum distance from Nash with zero variance across replicates, while Llama-3-8B plays near-Nash. Opening the models, a logit-lens analysis finds a distributed cooperative override. Intermediate readouts lean toward the Nash action through roughly three quarters of network depth before a late surge toward cooperation, and the final layer settles the contest. The size of that final correction, not the surge, rank-matches chain-of-thought behavior across scale and two architectures. In the 8B the override is a single causally controllable direction in the residual stream; steering it dials the decision, and clamping its component at one position of one layer moves the choice strictly monotonically, Spearman rho = 1.000, with generation fluent. The circuit is lexical. It survives name removal and payoff rescaling but disengages when Cooperate and Defect are replaced with neutral labels, and on 48 payoff-random games with neutral surfaces no model locks cooperative on any dilemma or shows general equilibrium competence. In mixed-model populations a single Nash-playing agent collapses cooperation contagiously. What suppresses Nash play in large language models is a word-triggered circuit rather than missing competence, and it can be measured, bounded, and controlled.

cs.GT↗

Optimizing Social Utility in Sequential Experiments

Regulatory approval of products in high-stakes domains such as drug development requires statistical evidence of safety and efficacy through large-scale randomized controlled trials. However, the high financial cost of these trials may deter developers who lack absolute certainty in their product's efficacy, ultimately stifling the development of `moonshot' products that could offer high social utility. To address this inefficiency, in this paper, we introduce a statistical protocol for experimentation where the product developer (the agent) conducts a randomized controlled trial sequentially and the regulator (the principal) partially subsidizes its cost. By modeling the protocol using a belief Markov decision process, we show that the agent's optimal strategy can be found efficiently using dynamic programming. Further, we show that the social utility is a piecewise linear and convex function over the subsidy level the principal selects, and thus the socially optimal subsidy can also be found efficiently using divide-and-conquer. Simulation experiments using publicly available data on antibiotic development and approval demonstrate that our statistical protocol can be used to increase social utility by more than $35$$\%$ relative to standard, non-sequential protocols.

cs.GT↗