
Rational Verification for Probabilistic Systems
Rational verification is the problem of determining which temporal logic...
read it

Equilibrium Design for Concurrent Games
In game theory, mechanism design is concerned with the design of incenti...
read it

Equilibrium Refinements for MultiAgent Influence Diagrams: Theory and Practice
Multiagent influence diagrams (MAIDs) are a popular form of graphical m...
read it

MultiAgent Reinforcement Learning with Temporal Logic Specifications
In this paper, we study the problem of learning to satisfy temporal logi...
read it

MultiPlayer Games with LDL Goals over Finite Traces
Linear Dynamic Logic on finite traces LDLf is a powerful logic for reaso...
read it

Equilibria for Games with Combined Qualitative and Quantitative Objectives
The overall aim of our research is to develop techniques to reason about...
read it

Automated Temporal Equilibrium Analysis: Verification and Synthesis of MultiPlayer Games
In the context of multiagent systems, the rational verification problem...
read it

ReplicationRobust PayoffAllocation with Applications in Machine Learning Marketplaces
The everincreasing takeup of machine learning techniques requires ever...
read it

Monte Carlo Techniques for Approximating the Myerson Value – Theoretical and Empirical Analysis
Myerson first introduced graphrestricted games in order to model the in...
read it

Multiagent Hierarchical Reinforcement Learning with Dynamic Termination
In a multiagent system, an agent's optimal policy will typically depend...
read it

Manipulating a Learning Defender and Ways to Counteract
In Stackelberg security games, information about the attacker's type (i....
read it

Imitative Follower Deception in Stackelberg Games
Uncertainty is one of the major challenges facing applications of game t...
read it

Nash Equilibrium and Bisimulation Invariance
Game theory provides a wellestablished framework for the analysis of co...
read it

Understanding Flash Crash Contagion and Systemic Risk: A MicroMacro AgentBased Approach
The purpose of this paper is to advance the understanding of the conditi...
read it

Gametheoretic Network Centrality: A Review
Gametheoretic centrality is a flexible and sophisticated approach to id...
read it

Synthesising Evolutionarily Stable Normative Systems
Within the area of multiagent systems, normative systems are a widely u...
read it

Automating decision making to help establish normbased regulations
Norms have been extensively proposed as coordination mechanisms for both...
read it

Boolean Hedonic Games
We study hedonic games with dichotomous preferences. Hedonic games are c...
read it

Reasoning About the Transfer of Control
We present DCLPC: a logic for reasoning about how the abilities of agen...
read it
Michael Wooldridge
is this you? claim profile
Head of Department and Professor of Computer Science in the Department of Computer Science at the University of Oxford, Senior Research Fellow at Hertford College, ACM Fellow, AAAI Fellow, EURAI Fellow, AISB Fellow, BCS Fellow and member of Academia Europaea.