+
PDF
Chat
|
Jailbreaking Large Language Models in Infinitely Many Ways
|
2025
|
Oliver Goldstein
Emanuele La Malfa
Felix Drinkall
Samuele Marro
Michael Wooldridge
|
+
|
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
|
2024
|
JuliƔn GutiƩrrez
Muhammad Sharfi Najib
Giuseppe Perelli
Michael Wooldridge
|
+
PDF
Chat
|
One Language, Many Gaps: Evaluating Dialect Fairness and Robustness of
Large Language Models in Reasoning Tasks
|
2024
|
Fangru Lin
Shaoguang Mao
Emanuele La Malfa
Valentin Hofmann
Adrian de Wynter
Jing Yao
Siqing Chen
Michael Wooldridge
Furu Wei
|
+
PDF
Chat
|
A Scalable Communication Protocol for Networks of Large Language Models
|
2024
|
Samuele Marro
Emanuele La Malfa
Jesse H. Wright
Guohao Li
Nigel Shadbolt
Michael Wooldridge
Philip H. S. Torr
|
+
PDF
Chat
|
Fixed-budget and Multiple-issue Quadratic Voting
|
2024
|
Laura Georgescu
James Fox
Anna Gautier
Michael Wooldridge
|
+
PDF
Chat
|
A multi-objective combinatorial optimisation framework for large scale
hierarchical population synthesis
|
2024
|
Imran Mahmood
Nicholas Bishop
Anisoara Calinescu
Michael Wooldridge
Ioannis Zachos
|
+
PDF
Chat
|
A Notion of Complexity for Theory of Mind via Discrete World Models
|
2024
|
X. Angelo Huang
Emanuele La Malfa
Samuele Marro
Andrea Asperti
Anthony G. Cohn
Michael Wooldridge
|
+
PDF
Chat
|
Characterising Interventions in Causal Games
|
2024
|
Manuj Mishra
James J. Fox
Michael Wooldridge
|
+
PDF
Chat
|
Causally Abstracted Multi-armed Bandits
|
2024
|
Fabio Massimo Zennaro
Nicholas Bishop
Joel Dyer
Yorgos Felekis
Anisoara Calinescu
Michael Wooldridge
Theodoros Damoulas
|
+
PDF
Chat
|
Private Agent-Based Modeling
|
2024
|
Ayush Chopra
Arnau Quera-Bofarull
Nurullah Giray-Kuru
Michael Wooldridge
Ramesh Raskar
|
+
|
Code Simulation Challenges for Large Language Models
|
2024
|
Emanuele La Malfa
Christoph Weinhuber
Orazio Torre
Fangru Lin
Anthony G. Cohn
Nigel Shadbolt
Michael Wooldridge
|
+
PDF
Chat
|
BlackBIRDS: Black-Box Inference foR Differentiable Simulators
|
2023
|
Arnau Quera-Bofarull
Joel Dyer
Anisoara Calinescu
J. Doyne Farmer
Michael Wooldridge
|
+
PDF
Chat
|
Learning Task Automata for Reinforcement Learning Using Hidden Markov Models
|
2023
|
Alessandro Abate
Yousif Almulla
James Fox
David C. Hyland
Michael Wooldridge
|
+
PDF
Chat
|
Cognitive Effects in Large Language Models
|
2023
|
Jonathan Shaki
Sarit Kraus
Michael Wooldridge
|
+
|
Principal-Agent Boolean Games
|
2023
|
David C. Hyland
JuliƔn GutiƩrrez
Michael Wooldridge
|
+
PDF
Chat
|
Incentive Engineering for Concurrent Games
|
2023
|
David C. Hyland
JuliƔn GutiƩrrez
Michael Wooldridge
|
+
PDF
Chat
|
On Imperfect Recall in Multi-Agent Influence Diagrams
|
2023
|
James Fox
Matt MacDermott
Lewis Hammond
Paul Harrenstein
Alessandro Abate
Michael Wooldridge
|
+
|
Reasoning about causality in games
|
2023
|
Lewis Hammond
James Fox
Tom Everitt
Ryan M. Carey
Alessandro Abate
Michael Wooldridge
|
+
|
k-Prize Weighted Voting Games
|
2023
|
WeiāChen Lee
David C. Hyland
Alessandro Abate
Edith Elkind
Jiarui Gan
JuliƔn GutiƩrrez
Paul Harrenstein
Michael Wooldridge
|
+
|
Principal-Agent Boolean Games
|
2023
|
David C. Hyland
JuliƔn GutiƩrrez
Michael Wooldridge
|
+
|
Bayesian calibration of differentiable agent-based models
|
2023
|
Arnau Quera-Bofarull
Ayush Chopra
Anisoara Calinescu
Michael Wooldridge
Joel Dyer
|
+
|
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
|
2023
|
JuliƔn GutiƩrrez
Muhammad Sharfi Najib
Giuseppe Perelli
Michael Wooldridge
|
+
|
Cognitive Effects in Large Language Models
|
2023
|
Jonathan Shaki
Sarit Kraus
Michael Wooldridge
|
+
|
Language Models as a Service: Overview of a New Paradigm and its Challenges
|
2023
|
Emanuele La Malfa
Aleksandar Petrov
Simon Frieder
Christoph Weinhuber
Ryan Burnell
Anthony G. Cohn
Nigel Shadbolt
Michael Wooldridge
|
+
|
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version)
|
2023
|
JuliƔn GutiƩrrez
Anthony W. Lin
Muhammad Sharfi Najib
Thomas Steeples
Michael Wooldridge
|
+
|
Interventionally Consistent Surrogates for Agent-based Simulators
|
2023
|
Joel Dyer
Nicholas Bishop
Yorgos Felekis
Fabio Massimo Zennaro
Anisoara Calinescu
Theodoros Damoulas
Michael Wooldridge
|
+
PDF
Chat
|
Cooperative concurrent games
|
2022
|
JuliƔn GutiƩrrez
Szymon Kowara
Sarit Kraus
Thomas Steeples
Michael Wooldridge
|
+
PDF
Chat
|
Replication Robust Payoff Allocation in Submodular Cooperative Games
|
2022
|
Dongge Han
Michael Wooldridge
Alex D. Rogers
Olga Ohrimenko
Sebastian Tschiatschek
|
+
PDF
Chat
|
On the complexity of rational verification
|
2022
|
JuliƔn GutiƩrrez
Muhammad Sharfi Najib
Giuseppe Perelli
Michael Wooldridge
|
+
|
Learning Task Automata for Reinforcement Learning using Hidden Markov Models
|
2022
|
Alessandro Abate
Yousif Almulla
James Fox
David C. Hyland
Michael Wooldridge
|
+
|
Ten Years after ImageNet: A 360Ā° Perspective on AI
|
2022
|
Sanjay Chawla
Preslav Nakov
Ahmed Ali
Wendy Hall
Issa Khalil
Xiaosong Ma
HĆ¼srev Taha Sencar
Ingmar Weber
Michael Wooldridge
Ting Yu
|
+
|
Rational Verification for Probabilistic Systems
|
2021
|
JuliƔn GutiƩrrez
Lewis Hammond
Anthony W. Lin
Muhammad Sharfi Najib
Michael Wooldridge
|
+
|
Rational Verification for Probabilistic Systems
|
2021
|
JuliƔn GutiƩrrez
Lewis Hammond
Anthony W. Lin
Muhammad Sharfi Najib
Michael Wooldridge
|
+
|
Equilibrium Design for Concurrent Games
|
2021
|
JuliƔn GutiƩrrez
Muhammad Sharfi Najib
Giuseppe Perelli
Michael Wooldridge
|
+
|
Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory and Practice
|
2021
|
Lewis Hammond
James Fox
Tom Everitt
Alessandro Abate
Michael Wooldridge
|
+
|
Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory and Practice.
|
2021
|
Lewis Hammond
James Fox
Tom Everitt
Alessandro Abate
Michael Wooldridge
|
+
|
Multi-Agent Reinforcement Learning with Temporal Logic Specifications
|
2021
|
Lewis Hammond
Alessandro Abate
JuliƔn GutiƩrrez
Michael Wooldridge
|
+
|
Equilibrium Design for Concurrent Games
|
2021
|
JuliƔn GutiƩrrez
Muhammad Sharfi Najib
Giuseppe Perelli
Michael Wooldridge
|
+
|
Multi-agent reinforcement learning with temporal logic specifications
|
2021
|
Lewis Hammond
Alessandro Abate
JuliƔn GutiƩrrez
Michael Wooldridge
|
+
|
Rational Verification for Probabilistic Systems
|
2021
|
JuliƔn GutiƩrrez
Lewis Hammond
Anthony W. Lin
Muhammad Najib
Michael Wooldridge
|
+
|
Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory and Practice
|
2021
|
Lewis Hammond
James Fox
Tom Everitt
Alessandro Abate
Michael Wooldridge
|
+
|
Multi-Agent Reinforcement Learning with Temporal Logic Specifications
|
2021
|
Lewis Hammond
Alessandro Abate
JuliƔn GutiƩrrez
Michael Wooldridge
|
+
|
Equilibria for Games with Combined Qualitative and Quantitative Objectives
|
2020
|
JuliƔn GutiƩrrez
Aniello Murano
Giuseppe Perelli
Sasha Rubin
Thomas Steeples
Michael Wooldridge
|
+
|
Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games
|
2020
|
JuliƔn GutiƩrrez
Muhammad Sharfi Najib
Giuseppe Perelli
Michael Wooldridge
|
+
|
Multi-Player Games with LDL Goals over Finite Traces.
|
2020
|
JuliƔn GutiƩrrez
Giuseppe Perelli
Michael Wooldridge
|
+
|
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
|
2020
|
JuliƔn GutiƩrrez
Muhammad Sharfi Najib
Giuseppe Perelli
Michael Wooldridge
|
+
|
Replication-Robust Payoff-Allocation with Applications in Machine Learning Marketplaces.
|
2020
|
Dongge Han
Shruti Tople
Alex Rogers
Michael Wooldridge
Olga Ohrimenko
Sebastian Tschiatschek
|
+
|
Replication-Robust Payoff-Allocation for Machine Learning Data Markets
|
2020
|
Dongge Han
Michael Wooldridge
Alex Rogers
Shruti Tople
Olga Ohrimenko
Sebastian Tschiatschek
|
+
PDF
Chat
|
Equilibria for games with combined qualitative and quantitative objectives
|
2020
|
JuliƔn GutiƩrrez
Aniello Murano
Giuseppe Perelli
Sasha Rubin
Thomas Steeples
Michael Wooldridge
|
+
PDF
Chat
|
Multi-player games with LDL goals over finite traces
|
2020
|
JuliƔn GutiƩrrez
Giuseppe Perelli
Michael Wooldridge
|
+
|
Monte Carlo Techniques for Approximating the Myerson Value -- Theoretical and Empirical Analysis
|
2020
|
Mateusz Tarkowski
Szymon Matejczyk
Tomasz Michalak
Michael Wooldridge
|
+
|
Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games
|
2020
|
JuliƔn GutiƩrrez
Muhammad Najib
Giuseppe Perelli
Michael Wooldridge
|
+
|
Equilibria for Games with Combined Qualitative and Quantitative Objectives
|
2020
|
JuliƔn GutiƩrrez
Aniello Murano
Giuseppe Perelli
Sasha Rubin
Thomas Steeples
Michael Wooldridge
|
+
|
Multi-Player Games with LDL Goals over Finite Traces
|
2020
|
JuliƔn GutiƩrrez
Giuseppe Perelli
Michael Wooldridge
|
+
|
A Game-Theoretic Algorithm for Link Prediction
|
2019
|
Mateusz Tarkowski
Tomasz Michalak
Michael Wooldridge
|
+
PDF
Chat
|
Imitative Follower Deception in Stackelberg Games
|
2019
|
Jiarui Gan
Haifeng Xu
Qingyu Guo
The Anh Han
Zinovi Rabinovich
Michael Wooldridge
|
+
PDF
Chat
|
Understanding flash crash contagion and systemic risk: A microāmacro agent-based approach
|
2019
|
James Paulin
Anisoara Calinescu
Michael Wooldridge
|
+
|
Imitative Follower Deception in Stackelberg Games
|
2019
|
Jiarui Gan
Haifeng Xu
Qingyu Guo
The Anh Han
Zinovi Rabinovich
Michael Wooldridge
|
+
PDF
Chat
|
Multi-agent Hierarchical Reinforcement Learning with Dynamic Termination
|
2019
|
Dongge Han
Wendelin Bƶhmer
Michael Wooldridge
Alex Rogers
|
+
|
Manipulating a Learning Defender and Ways to Counteract
|
2019
|
Jiarui Gan
Qingyu Guo
Long Tran-Thanh
Bo An
Michael Wooldridge
|
+
|
Manipulating a Learning Defender and Ways to Counteract
|
2019
|
Jiarui Gan
Qingyu Guo
Long Tran-Thanh
Bo An
Michael Wooldridge
|
+
|
A Game-Theoretic Algorithm for Link Prediction
|
2019
|
Mateusz Tarkowski
Tomasz Michalak
Michael Wooldridge
|
+
|
Nash Equilibrium and Bisimulation Invariance.
|
2018
|
JuliƔn GutiƩrrez
Paul Harrenstein
Giuseppe Perelli
Michael Wooldridge
|
+
PDF
Chat
|
Hiding individuals and communities in a social network
|
2018
|
Marcin Waniek
Tomasz Michalak
Michael Wooldridge
Talal Rahwan
|
+
|
Game-theoretic Network Centrality: A Review
|
2018
|
Mateusz Tarkowski
Tomasz Michalak
Talal Rahwan
Michael Wooldridge
|
+
|
Nash Equilibrium and Bisimulation Invariance
|
2018
|
JuliƔn GutiƩrrez
Paul Harrenstein
Giuseppe Perelli
Michael Wooldridge
|
+
|
Game-theoretic Network Centrality: A Review
|
2017
|
Mateusz Tarkowski
Tomasz Michalak
Talal Rahwan
Michael Wooldridge
|
+
|
Synthesising Evolutionarily Stable Normative Systems
|
2017
|
Javier Morales
Michael Wooldridge
Juan A. RodrĆguez-Aguilar
Maite LĆ³pez-SĆ”nchez
|
+
|
Automating decision making to help establish norm-based regulations
|
2017
|
Maite LĆ³pez-SĆ”nchez
Marc Serramia
Juan A. RodrĆguez-Aguilar
Javier Morales
Michael Wooldridge
|
+
|
Boolean Hedonic Games
|
2015
|
Haris Aziz
Paul Harrenstein
JƩrƓme Lang
Michael Wooldridge
|
+
|
Boolean Hedonic Games
|
2015
|
Haris Aziz
Paul Harrenstein
JƩrƓme Lang
Michael Wooldridge
|
+
|
Proofs
|
2014
|
Shaheen Fatima
Sarit Kraus
Michael Wooldridge
|
+
|
A Measure of Synergy in Coalitions.
|
2014
|
Talal Rahwan
Tomasz Michalak
Michael Wooldridge
|
+
|
Towards a Fair Allocation of Rewards in Multi-Level Marketing
|
2014
|
Talal Rahwan
Victor Naroditskiy
Tomasz Michalak
Michael Wooldridge
Nicholas R. Jennings
|
+
|
Towards a Fair Allocation of Rewards in Multi-Level Marketing
|
2014
|
Talal Rahwan
Victor Naroditskiy
Tomasz Michalak
Michael Wooldridge
Nicholas R. Jennings
|
+
|
A Measure of Synergy in Coalitions
|
2014
|
Talal Rahwan
Tomasz Michalak
Michael Wooldridge
|
+
|
The Shapley Axiomatization for Values in Partition Function Games
|
2013
|
Oskar Skibski
Tomasz Michalak
Michael Wooldridge
|
+
PDF
Chat
|
Reasoning About Social Choice Functions
|
2011
|
Nicolas Troquard
Wiebe van der Hoek
Michael Wooldridge
|
+
PDF
Chat
|
Reasoning About the Transfer of Control
|
2010
|
Wiebe van der Hoek
Dirk Walther
Michael Wooldridge
|
+
|
Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers
|
2009
|
Doron Peled
Michael Wooldridge
|
+
|
Forming Fuzzy Coalitions in Cooperative Superadditive Games
|
2007
|
Minghua He
Xudong Luo
Nicholas R. Jennings
Michael Wooldridge
|
+
PDF
Chat
|
Multi-Issue Negotiation with Deadlines
|
2006
|
Shifana Fatima Kaafil
Michael Wooldridge
Nicholas R. Jennings
|
+
|
None
|
2000
|
Michael Wooldridge
Nicholas R. Jennings
David Kinny
|