219 research outputs found
LIPIcs, Volume 251, ITCS 2023, Complete Volume
LIPIcs, Volume 251, ITCS 2023, Complete Volum
LIPIcs, Volume 261, ICALP 2023, Complete Volume
LIPIcs, Volume 261, ICALP 2023, Complete Volum
Essays on the economics of networks
Networks (collections of nodes or vertices and graphs capturing their linkages) are a common object of study across a range of fields includ- ing economics, statistics and computer science. Network analysis is often based around capturing the overall structure of the network by some reduced set of parameters. Canonically, this has focused on the notion of centrality. There are many measures of centrality, mostly based around statistical analysis of the linkages between nodes on the network. However, another common approach has been through the use of eigenfunction analysis of the centrality matrix. My the- sis focuses on eigencentrality as a property, paying particular focus to equilibrium behaviour when the network structure is fixed. This occurs when nodes are either passive, such as for web-searches or queueing models or when they represent active optimizing agents in network games. The major contribution of my thesis is in the applica- tion of relatively recent innovations in matrix derivatives to centrality measurements and equilibria within games that are function of those measurements. I present a series of new results on the stability of eigencentrality measures and provide some examples of applications to a number of real world examples
Solutions in multi-actor projects with collaboration and strategic incentives
This dissertation focuses on the mathematical analysis of projects involving decisions by multiple players. These players all have their own capabilities, requirements, and incentives, but their (monetary) outcome is dependent on the decisions of other players as well. Game theory is a mathematical tool to analyze the interactive decision-making process, generally paired with a method to ‘resolve’ the conflict situation. The way in which players interact in such a situation is commonly divided in two categories, distinguishing between cooperative and competitive (non-cooperative) behavior. This dissertation first studies two models within a cooperative framework, starting with the definition and analysis of a new influence measure for general, collaborative projects. The second model applies to situations where players cooperate on the construction of a new joint infrastructure, with a specific focus on cost allocation for CO2 transport infrastructure. Next, two-stage models are considered, in which a noncooperative first stage is followed by a cooperative second stage. Subsequently, social welfare loss in auctions with a corrupt auctioneer is studied. Finally, a new solution concept is presented that refines the notion of Nash equilibria for a general class of non-cooperative games
Social Interaction-Aware Dynamical Models and Decision Making for Autonomous Vehicles
Interaction-aware Autonomous Driving (IAAD) is a rapidly growing field of
research that focuses on the development of autonomous vehicles (AVs) that are
capable of interacting safely and efficiently with human road users. This is a
challenging task, as it requires the autonomous vehicle to be able to
understand and predict the behaviour of human road users. In this literature
review, the current state of IAAD research is surveyed in this work. Commencing
with an examination of terminology, attention is drawn to challenges and
existing models employed for modelling the behaviour of drivers and
pedestrians. Next, a comprehensive review is conducted on various techniques
proposed for interaction modelling, encompassing cognitive methods, machine
learning approaches, and game-theoretic methods. The conclusion is reached
through a discussion of potential advantages and risks associated with IAAD,
along with the illumination of pivotal research inquiries necessitating future
exploration
Computer Aided Verification
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book
The Complexity of Infinite-Horizon General-Sum Stochastic Games
We study the complexity of computing stationary Nash equilibrium (NE) in
n-player infinite-horizon general-sum stochastic games. We focus on the problem
of computing NE in such stochastic games when each player is restricted to
choosing a stationary policy and rewards are discounted. First, we prove that
computing such NE is in PPAD (in addition to clearly being PPAD-hard). Second,
we consider turn-based specializations of such games where at each state there
is at most a single player that can take actions and show that these
(seemingly-simpler) games remain PPAD-hard. Third, we show that under further
structural assumptions on the rewards computing NE in such turn-based games is
possible in polynomial time. Towards achieving these results we establish
structural facts about stochastic games of broader utility, including
monotonicity of utilities under single-state single-action changes and
reductions to settings where each player controls a single state
LIPIcs, Volume 244, ESA 2022, Complete Volume
LIPIcs, Volume 244, ESA 2022, Complete Volum
- …