Michael J. Wooldridge

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 149

Top Venues

University of Manchester, UK (PHD)

Education History

University of Manchester, UK

PHD

Publications

Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games. CSL (2024)
Arnau Quera-Bofarull, Ayush Chopra, Joseph Aylett-Bullock, Carolina Cuesta-Lázaro, Anisoara Calinescu, Ramesh Raskar, Michael J. Wooldridge
Don't Simulate Twice: One-Shot Sensitivity Analyses via Automatic Differentiation. AAMAS (2023)
James Fox, Matt MacDermott, Lewis Hammond, Paul Harrenstein, Alessandro Abate, Michael J. Wooldridge
On Imperfect Recall in Multi-Agent Influence Diagrams. TARK (2023)
Anna Gautier, Bruno Lacerda, Nick Hawes, Michael J. Wooldridge
Multi-Unit Auctions for Allocating Chance-Constrained Resources. AAAI (2023)
Arnau Quera-Bofarull, Ayush Chopra, Anisoara Calinescu, Michael J. Wooldridge, Joel Dyer
Bayesian calibration of differentiable agent-based models. CoRR (2023)
Alessandro Abate, Yousif Almulla, James Fox, David Hyland, Michael J. Wooldridge
Learning Task Automata for Reinforcement Learning Using Hidden Markov Models. ECAI (2023)
Joel Dyer, Arnau Quera-Bofarull, Ayush Chopra, J. Doyne Farmer, Anisoara Calinescu, Michael J. Wooldridge
Gradient-Assisted Calibration for Financial Agent-Based Models. ICAIF (2023)
Shaheen Fatima, Michael J. Wooldridge
Optimal Coalition Structures for Probabilistically Monotone Partition Function Games. AAMAS (2023)
Jonathan Shaki, Sarit Kraus, Michael J. Wooldridge
Cognitive Effects in Large Language Models. CoRR (2023)
Julian Gutierrez, Szymon Kowara, Sarit Kraus, Thomas Steeples, Michael J. Wooldridge
Cooperative Concurrent Games. CoRR (2023)
Wei-Chen Lee, David Hyland, Alessandro Abate, Edith Elkind, Jiarui Gan, Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
k-Prize Weighted Voting Game. AAMAS (2023)
Anna Gautier, Marc Rigter, Bruno Lacerda, Nick Hawes, Michael J. Wooldridge
Risk-Constrained Planning for Multi-Agent Systems with Shared Resources. AAMAS (2023)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
On the complexity of rational verification. Ann. Math. Artif. Intell. 91 (4) (2023)
Lewis Hammond, James Fox, Tom Everitt, Ryan Carey, Alessandro Abate, Michael J. Wooldridge
Reasoning about Causality in Games. CoRR (2023)
Arnau Quera-Bofarull, Joel Dyer, Anisoara Calinescu, Michael J. Wooldridge
Some challenges of calibrating differentiable agent-based models. CoRR (2023)
Julian Gutierrez, Szymon Kowara, Sarit Kraus, Thomas Steeples, Michael J. Wooldridge
Cooperative concurrent games. Artif. Intell. 314 (2023)
Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version). CoRR (2023)
David Hyland, Julian Gutierrez, Michael J. Wooldridge
Principal-Agent Boolean Games. IJCAI (2023)
Arnau Quera-Bofarull, Joel Dyer, Anisoara Calinescu, J. Doyne Farmer, Michael J. Wooldridge
BlackBIRDS: Black-Box Inference foR Differentiable Simulators. J. Open Source Softw. 8 (90) (2023)
Jonathan Shaki, Sarit Kraus, Michael J. Wooldridge
Cognitive Effects in Large Language Models. ECAI (2023)
Lewis Hammond, James Fox, Tom Everitt, Ryan Carey, Alessandro Abate, Michael J. Wooldridge
Reasoning about causality in games. Artif. Intell. 320 (2023)
Wei-Chen Lee, David Hyland, Alessandro Abate, Edith Elkind, Jiarui Gan, Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
k-Prize Weighted Voting Games. CoRR (2023)
David Hyland, Julian Gutierrez, Michael J. Wooldridge
Incentive Engineering for Concurrent Games. TARK (2023)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints. CoRR (2023)
Dongge Han, Michael J. Wooldridge, Alex Rogers, Olga Ohrimenko, Sebastian Tschiatschek
Replication Robust Payoff Allocation in Submodular Cooperative Games. IEEE Trans. Artif. Intell. 4 (5) (2023)
David Hyland, Julian Gutierrez, Michael J. Wooldridge
Principal-Agent Boolean Games. CoRR (2023)
Alessandro Abate, Yousif Almulla, James Fox, David Hyland, Michael J. Wooldridge
Learning Task Automata for Reinforcement Learning using Hidden Markov Models. CoRR (2022)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
On the Complexity of Rational Verification. CoRR (2022)
Shaheen Fatima, Michael J. Wooldridge
Optimal coalition structures for probabilistically monotone partition function games. Auton. Agents Multi Agent Syst. 36 (1) (2022)
Julian Gutierrez, Thomas Steeples, Michael J. Wooldridge
Mean-Payoff Games with ω-Regular Specifications. Games 13 (1) (2022)
Julian Gutierrez, Sarit Kraus, Giuseppe Perelli, Michael J. Wooldridge
Giving Instructions in Linear Temporal Logic. TIME (2022)
Dongge Han, Chris Xiaoxuan Lu, Tomasz P. Michalak, Michael J. Wooldridge
Multiagent Model-based Credit Assignment for Continuous Control. AAMAS (2022)
Marcin Waniek, Tomasz P. Michalak, Michael J. Wooldridge, Talal Rahwan
How Members of Covert Networks Conceal the Identities of Their Leaders. ACM Trans. Intell. Syst. Technol. 13 (1) (2022)
Jiarui Gan, Edith Elkind, Sarit Kraus, Michael J. Wooldridge
Defense coordination in security games: Equilibrium analysis and mechanism design. Artif. Intell. 313 (2022)
Michael J. Wooldridge
Welcome to Big AI. IEEE Intell. Syst. 37 (3) (2022)
Stefano V. Albrecht, Michael J. Wooldridge
Multi-agent systems research in the United Kingdom. AI Commun. 35 (4) (2022)
Anna Gautier, Alex Stephens, Bruno Lacerda, Nick Hawes, Michael J. Wooldridge
Negotiated Path Planning for Non-Cooperative Multi-Robot Systems. AAMAS (2022)
Anna Gautier, Michael J. Wooldridge
Understanding Mechanism Design - Part 3 of 3: Mechanism Design in the Real World: The VCG Mechanism. IEEE Intell. Syst. 37 (1) (2022)
Valeria Zahoransky, Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
Partial Order Games. Games 13 (1) (2022)
Dongge Han, Paul Harrenstein, Steven Nugent, Jonathan Philpott, Michael J. Wooldridge
Behavioural strategies in weighted Boolean games. Inf. Comput. 276 (2021)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
Equilibrium Design for Concurrent Games. CoRR (2021)
Julian Gutierrez, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael J. Wooldridge
Rational Verification for Probabilistic Systems. CoRR (2021)
Alessandro Abate, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Najib, Giuseppe Perelli, Thomas Steeples, Michael J. Wooldridge
Rational verification: game-theoretic verification of multi-agent systems. Appl. Intell. 51 (9) (2021)
James Fox, Tom Everitt, Ryan Carey, Eric D. Langlois, Alessandro Abate, Michael J. Wooldridge
PyCID: A Python Library for Causal Influence Diagrams. SciPy (2021)
Lewis Hammond, James Fox, Tom Everitt, Alessandro Abate, Michael J. Wooldridge
Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory and Practice. CoRR (2021)
Tiago Pinto, Michael J. Wooldridge, Zita A. Vale
Consumer Flexibility Aggregation Using Partition Function Games With Non-Transferable Utility. IEEE Access 9 (2021)
Julian Gutierrez, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael J. Wooldridge
Rational Verification for Probabilistic Systems. KR (2021)
Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge
Multi-player games with LDL goals over finite traces. Inf. Comput. 276 (2021)
Lewis Hammond, James Fox, Tom Everitt, Alessandro Abate, Michael J. Wooldridge
Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory and Practice. AAMAS (2021)
Thomas Steeples, Julian Gutierrez, Michael J. Wooldridge
Mean-Payoff Games with ω-Regular Specifications. AAMAS (2021)
Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge
Expressiveness and Nash Equilibrium in Iterated Boolean Games. ACM Trans. Comput. Log. 22 (2) (2021)
Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge
Equilibria for games with combined qualitative and quantitative objectives. Acta Informatica 58 (6) (2021)
Dongge Han, Chris Xiaoxuan Lu, Tomasz P. Michalak, Michael J. Wooldridge
Multiagent Model-based Credit Assignment for Continuous Control. CoRR (2021)
Lewis Hammond, Alessandro Abate, Julian Gutierrez, Michael J. Wooldridge
Multi-Agent Reinforcement Learning with Temporal Logic Specifications. CoRR (2021)
Jeffrey S. Rosenschein, Michael J. Wooldridge
Understanding Mechanism Design - Part 2 of 3: The Vickrey-Clarke-Groves Mechanism. IEEE Intell. Syst. 36 (3) (2021)
Lewis Hammond, Alessandro Abate, Julian Gutierrez, Michael J. Wooldridge
Multi-Agent Reinforcement Learning with Temporal Logic Specifications. AAMAS (2021)
Dongge Han, Michael J. Wooldridge, Sebastian Tschiatschek
MDP Abstraction with Successor Features. CoRR (2021)
Paul E. Dunne, Paul Harrenstein, Sarit Kraus, Michael J. Wooldridge
Delegating Decisions in Strategic Settings. IEEE Trans. Artif. Intell. 1 (1) (2020)
Michael J. Wooldridge
Artificial Intelligence requires more than deep learning - but what, exactly? Artif. Intell. 289 (2020)
Oskar Skibski, Tomasz P. Michalak, Yuko Sakurai, Michael J. Wooldridge, Makoto Yokoo
Partition decision trees: representation for efficient computation of the Shapley value extended to games with externalities. Auton. Agents Multi Agent Syst. 34 (1) (2020)
Dongge Han, Shruti Tople, Alex Rogers, Michael J. Wooldridge, Olga Ohrimenko, Sebastian Tschiatschek
Replication-Robust Payoff-Allocation with Applications in Machine Learning Marketplaces. CoRR (2020)
Michael J. Wooldridge
Understanding Mechanism Design-Part 1 of 3. IEEE Intell. Syst. 35 (4) (2020)
Mateusz Krzysztof Tarkowski, Szymon Matejczyk, Tomasz P. Michalak, Michael J. Wooldridge
Monte Carlo Techniques for Approximating the Myerson Value - Theoretical and Empirical Analysis. CoRR (2020)
Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge
Equilibria for Games with Combined Qualitative and Quantitative Objectives. CoRR (2020)
Michael J. Wooldridge
Through the Veil of Ignorance: Understanding Social Welfare. IEEE Intell. Syst. 35 (2) (2020)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games. CoRR (2020)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games. Artif. Intell. 287 (2020)
Jiarui Gan, Edith Elkind, Sarit Kraus, Michael J. Wooldridge
Mechanism Design for Defense Coordination in Security Games. AAMAS (2020)
Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge
Multi-Player Games with LDL Goals over Finite Traces. CoRR (2020)
Julian Gutierrez, Sarit Kraus, Michael J. Wooldridge
Cooperative Concurrent Games. AAMAS (2019)
Shaheen Fatima, Michael J. Wooldridge
Computing Optimal Coalition Structures in Polynomial Time. AAMAS (2019)
Davide Grossi, Wiebe van der Hoek, Christos Moyzes, Michael J. Wooldridge
Program models and semi-public environments. J. Log. Comput. 29 (7) (2019)
Enrico Marchioni, Michael J. Wooldridge
Łukasiewicz logics for cooperative games. Artif. Intell. 275 (2019)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
On Computational Tractability for Rational Verification. IJCAI (2019)
Dongge Han, Wendelin Böhmer, Michael J. Wooldridge, Alex Rogers
Multi-agent Hierarchical Reinforcement Learning with Dynamic Termination. PRICAI (2) (2019)
Dongge Han, Wendelin Boehmer, Michael J. Wooldridge, Alex Rogers
Multi-Agent Hierarchical Reinforcement Learning with Dynamic Termination. AAMAS (2019)
Jiarui Gan, Haifeng Xu, Qingyu Guo, Long Tran-Thanh, Zinovi Rabinovich, Michael J. Wooldridge
Imitative Follower Deception in Stackelberg Games. EC (2019)
Jiarui Gan, Qingyu Guo, Long Tran-Thanh, Bo An, Michael J. Wooldridge
Manipulating a Learning Defender and Ways to Counteract. NeurIPS (2019)
Oskar Skibski, Talal Rahwan, Tomasz P. Michalak, Michael J. Wooldridge
Enumerating Connected Subgraphs and Computing the Myerson and Shapley Values in Graph-Restricted Games. ACM Trans. Intell. Syst. Technol. 10 (2) (2019)
Dongge Han, Wendelin Boehmer, Michael J. Wooldridge, Alex Rogers
Multi-agent Hierarchical Reinforcement Learning with Dynamic Termination. CoRR (2019)
Jiarui Gan, Qingyu Guo, Long Tran-Thanh, Bo An, Michael J. Wooldridge
Manipulating a Learning Defender and Ways to Counteract. CoRR (2019)
Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge
Nash Equilibrium and Bisimulation Invariance. Log. Methods Comput. Sci. 15 (3) (2019)
Bedoor K. AlShebli, Tomasz P. Michalak, Oskar Skibski, Michael J. Wooldridge, Talal Rahwan
A Measure of Added Value in Groups. ACM Trans. Auton. Adapt. Syst. 13 (4) (2019)
Shaheen Fatima, Michael J. Wooldridge
Computing optimal coalition structures in polynomial time. Auton. Agents Multi Agent Syst. 33 (1-2) (2019)
Mateusz Krzysztof Tarkowski, Tomasz P. Michalak, Michael J. Wooldridge
A Game-Theoretic Algorithm for Link Prediction. CoRR (2019)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
Equilibrium Design for Concurrent Games. CONCUR (2019)
Jiarui Gan, Haifeng Xu, Qingyu Guo, Long Tran-Thanh, Zinovi Rabinovich, Michael J. Wooldridge
Imitative Follower Deception in Stackelberg Games. CoRR (2019)
Liat Sless, Noam Hazon, Sarit Kraus, Michael J. Wooldridge
coalitions and facilitating relationships in social networks. Artif. Intell. 259 (2018)
Javier Morales, Michael J. Wooldridge, Juan A. Rodríguez-Aguilar, Maite López-Sánchez
Off-line synthesis of evolutionarily stable normative systems. Auton. Agents Multi Agent Syst. 32 (5) (2018)
Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge
Nash Equilibrium and Bisimulation Invariance. CoRR (2018)
Marc Serramia, Maite López-Sánchez, Juan A. Rodríguez-Aguilar, Javier Morales, Michael J. Wooldridge, Carlos Ansótegui
Exploiting Moral Values to Choose the Right Norms. AIES (2018)
Julian Gutierrez, Michael J. Wooldridge
Preface to the SR-2015 special issue. Inf. Comput. 261 (2018)
James Paulin, Anisoara Calinescu, Michael J. Wooldridge
Agent-Based Modeling for Complex Financial Systems. IEEE Intell. Syst. 33 (2) (2018)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
EVE: A Tool for Temporal Equilibrium Analysis. ATVA (2018)
Oskar Skibski, Tomasz P. Michalak, Michael J. Wooldridge
The Stochastic Shapley Value for coalitional games with externalities. Games Econ. Behav. 108 (2018)
Mateusz Krzysztof Tarkowski, Tomasz P. Michalak, Talal Rahwan, Michael J. Wooldridge
Game-theoretic Network Centrality: A Review. CoRR (2018)
Mateusz Krzysztof Tarkowski, Piotr L. Szczepanski, Tomasz P. Michalak, Paul Harrenstein, Michael J. Wooldridge
Efficient Computation of Semivalues for Game-Theoretic Network Centrality. J. Artif. Intell. Res. 63 (2018)
Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge
Imperfect information in Reactive Modules games. Inf. Comput. 261 (2018)
Jiarui Gan, Edith Elkind, Michael J. Wooldridge
Stackelberg Security Games with Multiple Uncoordinated Defenders. AAMAS (2018)
Julian Gutierrez, Paul Harrenstein, Thomas Steeples, Michael J. Wooldridge
Local Equilibria in Logic-Based Multi-Player Games. AAMAS (2018)

Michael J. Wooldridge.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael J. Wooldridge