Julian Gutierrez

According to our database, Julian Gutierrez authored at least 53 papers between 2006 and 2024.

Collaborative distances:

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

2024

Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games.

Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

On the complexity of rational verification.

Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge

Ann. Math. Artif. Intell., August, 2023

Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version).

Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge

CoRR, 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

Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints.

Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge

CoRR, 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

Cooperative concurrent games.

Julian Gutierrez, Szymon Kowara, Sarit Kraus, Thomas Steeples, Michael J. Wooldridge

Artif. Intell., 2023

A Matrix-Based Approach to Parity Games.

Saksham Aggarwal, Alejandro Stuckey de la Banda, Luke Yang, Julian Gutierrez

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Principal-Agent Boolean Games.

David Hyland, Julian Gutierrez, Michael J. Wooldridge

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 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

2022

Partial Order Games.

Valeria Zahoransky, Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge

Games, 2022

Mean-Payoff Games with ω-Regular Specifications.

Julian Gutierrez, Thomas Steeples, Michael J. Wooldridge

Games, 2022

Giving Instructions in Linear Temporal Logic.

Julian Gutierrez, Sarit Kraus, Giuseppe Perelli, Michael J. Wooldridge

Proceedings of the 29th International Symposium on Temporal Representation and Reasoning, 2022

2021

Expressiveness and Nash Equilibrium in Iterated Boolean Games.

Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge

ACM Trans. Comput. Log., 2021

Multi-player games with LDL goals over finite traces.

Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge

Inf. Comput., 2021

Rational verification: game-theoretic verification of multi-agent systems.

Alessandro Abate, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Najib, Giuseppe Perelli, Thomas Steeples, Michael J. Wooldridge

Appl. Intell., 2021

Equilibria for games with combined qualitative and quantitative objectives.

Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge

Acta Informatica, 2021

Rational Verification for Probabilistic Systems.

Julian Gutierrez, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael J. Wooldridge

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Multi-Agent Reinforcement Learning with Temporal Logic Specifications.

Lewis Hammond, Alessandro Abate, Julian Gutierrez, Michael J. Wooldridge

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020

Automated temporal equilibrium analysis: Verification and synthesis of multi-player games.

Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge

Artif. Intell., 2020

2019

Nash Equilibrium and Bisimulation Invariance.

Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge

Log. Methods Comput. Sci., 2019

On Computational Tractability for Rational Verification.

Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Equilibrium Design for Concurrent Games.

Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge

Proceedings of the 30th International Conference on Concurrency Theory, 2019

Cooperative Concurrent Games.

Julian Gutierrez, Sarit Kraus, Michael J. Wooldridge

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018

Federated logic conference (FLoC) at Oxford.

Daniele Ahmed, Katherine Fletcher, Julian Gutierrez

ACM SIGLOG News, 2018

On fixpoint logics and equivalences for processes with restricted nondeterminism.

Julian Gutierrez

J. Log. Comput., 2018

Preface to the SR-2015 special issue.

Julian Gutierrez, Michael J. Wooldridge

Inf. Comput., 2018

Imperfect information in Reactive Modules games.

Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge

Inf. Comput., 2018

EVE: A Tool for Temporal Equilibrium Analysis.

Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge

Proceedings of the Automated Technology for Verification and Analysis, 2018

Local Equilibria in Logic-Based Multi-Player Games.

Julian Gutierrez, Paul Harrenstein, Thomas Steeples, Michael J. Wooldridge

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

Reasoning about equilibria in game-like concurrent systems.

Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge

Ann. Pure Appl. Log., 2017

From model checking to equilibrium checking: Reactive modules for rational verification.

Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge

Artif. Intell., 2017

Nash Equilibria in Concurrent Games with Lexicographic Preferences.

Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Michael J. Wooldridge

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Iterated Boolean Games for Rational Verification.

Tong Gao, Julian Gutierrez, Michael J. Wooldridge

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Iterated Games with LDL Goals over Finite Traces.

Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

Partial-order Boolean games: informational independence in a logic-based model of strategic interaction.

Julian C. Bradfield, Julian Gutierrez, Michael J. Wooldridge

Synth., 2016

Rational Verification: From Model Checking to Equilibrium Checking.

Michael J. Wooldridge, Julian Gutierrez, Paul Harrenstein, Enrico Marchioni, Giuseppe Perelli, Alexis Toumi

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Iterated Boolean games.

Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge

Inf. Comput., 2015

A Tool for the Automated Verification of Nash Equilibria in Concurrent Games.

Alexis Toumi, Julian Gutierrez, Michael J. Wooldridge

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

A Mathematical Game Semantics of Concurrency and Nondeterminism.

Julian Gutierrez

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

Expresiveness and Complexity Results for Strategic Reasoning.

Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

The μ-calculus alternation hierarchy collapses over structures with restricted connectivity.

Julian Gutierrez, Felix Klaedtke, Martin Lange

Theor. Comput. Sci., 2014

On the determinacy of concurrent games on event structures with infinite winning sets.

Julian Gutierrez, Glynn Winskel

J. Comput. Syst. Sci., 2014

Equilibria of concurrent games on event structures.

Julian Gutierrez, Michael J. Wooldridge

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

Borel Determinacy of Concurrent Games.

Julian Gutierrez, Glynn Winskel

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

Imperfect Information in Logic and Concurrent Games.

Pierre Clairambault, Julian Gutierrez, Glynn Winskel

Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013

2012

The Winning Ways of Concurrent Games.

Pierre Clairambault, Julian Gutierrez, Glynn Winskel

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

2011

On bisimulation and model-checking for concurrent systems with partial order semantics.

Julian Gutierrez

PhD thesis, 2011

Model-checking games for fixpoint logics with partial order models.

Julian Gutierrez, Julian C. Bradfield

Inf. Comput., 2011

Concurrent Logic Games on Partial Orders.

Julian Gutierrez

Proceedings of the Logic, Language, Information and Computation, 2011

2010

Logics and Games for True Concurrency

Julian Gutierrez

CoRR, 2010

2009

Logics and Bisimulation Games for Concurrency, Causality and Conflict.

Julian Gutierrez

Proceedings of the Foundations of Software Science and Computational Structures, 2009

2006

Timed Concurrent Constraint Programming for Analysing Biological Systems.

Julian Gutierrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia

Proceedings of the First Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2006