Julian Gutierrez

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 55

Top Venues

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, 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)
Saksham Aggarwal, Alejandro Stuckey de la Banda, Luke Yang, Julian Gutierrez
A Matrix-Based Approach to Parity Games. TACAS (1) (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)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
On the complexity of rational verification. Ann. Math. Artif. Intell. 91 (4) (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)
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)
David Hyland, Julian Gutierrez, Michael J. Wooldridge
Principal-Agent Boolean Games. CoRR (2023)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
On the Complexity of Rational Verification. CoRR (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)
Valeria Zahoransky, Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
Partial Order Games. Games 13 (1) (2022)
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)
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)
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)
Lewis Hammond, Alessandro Abate, Julian Gutierrez, Michael J. Wooldridge
Multi-Agent Reinforcement Learning with Temporal Logic Specifications. CoRR (2021)
Lewis Hammond, Alessandro Abate, Julian Gutierrez, Michael J. Wooldridge
Multi-Agent Reinforcement Learning with Temporal Logic Specifications. AAMAS (2021)
Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge
Equilibria for Games with Combined Qualitative and Quantitative Objectives. CoRR (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)
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)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
On Computational Tractability for Rational Verification. IJCAI (2019)
Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge
Nash Equilibrium and Bisimulation Invariance. Log. Methods Comput. Sci. 15 (3) (2019)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
Equilibrium Design for Concurrent Games. CONCUR (2019)
Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge
Nash Equilibrium and Bisimulation Invariance. CoRR (2018)
Julian Gutierrez, Michael J. Wooldridge
Preface to the SR-2015 special issue. Inf. Comput. 261 (2018)
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
EVE: A Tool for Temporal Equilibrium Analysis. ATVA (2018)
Daniele Ahmed, Katherine Fletcher, Julian Gutierrez
Federated logic conference (FLoC) at Oxford. ACM SIGLOG News 5 (4) (2018)
Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge
Imperfect information in Reactive Modules games. Inf. Comput. 261 (2018)
Julian Gutierrez
On fixpoint logics and equivalences for processes with restricted nondeterminism. J. Log. Comput. 28 (4) (2018)
Julian Gutierrez, Paul Harrenstein, Thomas Steeples, Michael J. Wooldridge
Local Equilibria in Logic-Based Multi-Player Games. AAMAS (2018)
Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
From model checking to equilibrium checking: Reactive modules for rational verification. Artif. Intell. 248 (2017)
Tong Gao, Julian Gutierrez, Michael J. Wooldridge
Iterated Boolean Games for Rational Verification. AAMAS (2017)
Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge
Iterated Games with LDL Goals over Finite Traces. AAMAS (2017)
Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
Reasoning about equilibria in game-like concurrent systems. Ann. Pure Appl. Log. 168 (2) (2017)
Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge
Nash Equilibrium and Bisimulation Invariance. CONCUR (2017)
Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Michael J. Wooldridge
Nash Equilibria in Concurrent Games with Lexicographic Preferences. IJCAI (2017)
Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge
Imperfect Information in Reactive Modules Games. KR (2016)
Michael J. Wooldridge, Julian Gutierrez, Paul Harrenstein, Enrico Marchioni, Giuseppe Perelli, Alexis Toumi
Rational Verification: From Model Checking to Equilibrium Checking. AAAI (2016)
Julian C. Bradfield, Julian Gutierrez, Michael J. Wooldridge
Partial-order Boolean games: informational independence in a logic-based model of strategic interaction. Synth. 193 (3) (2016)
Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge
Expressiveness and Nash Equilibrium in Iterated Boolean Games. AAMAS (2016)
Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
Expresiveness and Complexity Results for Strategic Reasoning. CONCUR (2015)
Julian Gutierrez
A Mathematical Game Semantics of Concurrency and Nondeterminism. ICTAC (2015)
Alexis Toumi, Julian Gutierrez, Michael J. Wooldridge
A Tool for the Automated Verification of Nash Equilibria in Concurrent Games. ICTAC (2015)
Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
Iterated Boolean games. Inf. Comput. 242 (2015)
Julian Gutierrez, Felix Klaedtke, Martin Lange
The μ-calculus alternation hierarchy collapses over structures with restricted connectivity. Theor. Comput. Sci. 560 (2014)
Julian Gutierrez, Glynn Winskel
On the determinacy of concurrent games on event structures with infinite winning sets. J. Comput. Syst. Sci. 80 (6) (2014)
Julian Gutierrez, Michael J. Wooldridge
Equilibria of concurrent games on event structures. CSL-LICS (2014)
Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
Reasoning about Equilibria in Game-Like Concurrent Systems. KR (2014)
Julian Gutierrez, Glynn Winskel
Borel Determinacy of Concurrent Games. CONCUR (2013)
Pierre Clairambault, Julian Gutierrez, Glynn Winskel
Imperfect Information in Logic and Concurrent Games. Computation, Logic, Games, and Quantum Foundations (2013)
Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
Iterated Boolean Games. IJCAI (2013)
Julian Gutierrez, Felix Klaedtke, Martin Lange
The μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity GandALF (2012)
Pierre Clairambault, Julian Gutierrez, Glynn Winskel
The Winning Ways of Concurrent Games. LICS (2012)
Julian Gutierrez, Julian C. Bradfield
Model-checking games for fixpoint logics with partial order models. Inf. Comput. 209 (5) (2011)
Julian Gutierrez
Concurrent Logic Games on Partial Orders. WoLLIC (2011)
Julian Gutierrez
Logics and Games for True Concurrency CoRR (2010)
Julian Gutierrez
Logics and Bisimulation Games for Concurrency, Causality and Conflict. FoSSaCS (2009)
Julian Gutierrez, Julian C. Bradfield
Model-Checking Games for Fixpoint Logics with Partial Order Models. CONCUR (2009)
Julian Gutierrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia
Timed Concurrent Constraint Programming for Analysing Biological Systems. Electron. Notes Theor. Comput. Sci. 171 (2) (2007)

Julian Gutierrez.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Julian Gutierrez