David Hyland

According to our database, David Hyland authored at least 6 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Rational Verification with Quantitative Probabilistic Goals.

David Hyland, Julian Gutierrez, Shankaranarayanan Krishna, Michael J. Wooldridge

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023

Incentive Engineering for Concurrent Games.

David Hyland, Julian Gutierrez, Michael J. Wooldridge

Proceedings of the Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, 2023

k-Prize Weighted Voting Games.

Wei-Chen Lee, David Hyland, Alessandro Abate, Edith Elkind, Jiarui Gan, Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge

CoRR, 2023

Principal-Agent Boolean Games.

David Hyland, Julian Gutierrez, Michael J. Wooldridge

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Learning Task Automata for Reinforcement Learning Using Hidden Markov Models.

Alessandro Abate, Yousif Almulla, James Fox, David Hyland, Michael J. Wooldridge

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

k-Prize Weighted Voting Game.

Wei-Chen Lee, David Hyland, Alessandro Abate, Edith Elkind, Jiarui Gan, Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023