Julian Gutierrez

75 papers A* 10A 9B 9C 4Journal 37Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions.
IEEE Robotics Autom. Lett.
Zhixi Cai, Cristian Rojas Cardenas, Kevin Leo, Chenyuan Zhang, Kal Backman, Hanbing Li, Boying Li, Mahsa Ghorbanali, Stavya Datta, Lizhen Qu, Julian Gutierrez, Alexey Ignatiev, Yuan-Fang Li, Mor Vered, Peter J. Stuckey, Maria Garcia de la Banda, Hamid Rezatofighi
2024 B conf
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games.
CSL
Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge
2024 J jnl
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints.
Log. Methods Comput. Sci.
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2024 A* conf
Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents.
IJCAI
Julian Gutierrez, David Hyland, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2024 A conf
Rational Verification with Quantitative Probabilistic Goals.
AAMAS
David Hyland, Julian Gutierrez, Shankaranarayanan Krishna, Michael J. Wooldridge
2023 — conf
A Matrix-Based Approach to Parity Games.
TACAS (1)
Saksham Aggarwal, Alejandro Stuckey de la Banda, Luke Yang, Julian Gutierrez
2023 J jnl
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version).
CoRR
Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge
2023 J jnl
Cooperative Concurrent Games.
CoRR
Julian Gutierrez, Szymon Kowara, Sarit Kraus, Thomas Steeples, Michael J. Wooldridge
2023 J jnl
Cooperative concurrent games.
Artif. Intell.
Julian Gutierrez, Szymon Kowara, Sarit Kraus, Thomas Steeples, Michael J. Wooldridge
2023 J jnl
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints.
CoRR
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2023 B conf
Incentive Engineering for Concurrent Games.
TARK
David Hyland, Julian Gutierrez, Michael J. Wooldridge
2023 J jnl
On the complexity of rational verification.
Ann. Math. Artif. Intell.
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2023 A* conf
Principal-Agent Boolean Games.
IJCAI
David Hyland, Julian Gutierrez, Michael J. Wooldridge
2023 J jnl
Principal-Agent Boolean Games.
CoRR
David Hyland, Julian Gutierrez, Michael J. Wooldridge
2023 A conf
k-Prize Weighted Voting Game.
AAMAS
Wei-Chen Lee, David Hyland, Alessandro Abate, Edith Elkind, Jiarui Gan, Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
2023 J jnl
k-Prize Weighted Voting Games.
CoRR
Wei-Chen Lee, David Hyland, Alessandro Abate, Edith Elkind, Jiarui Gan, Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
2022 C conf
Giving Instructions in Linear Temporal Logic.
TIME
Julian Gutierrez, Sarit Kraus, Giuseppe Perelli, Michael J. Wooldridge
2022 J jnl
Mean-Payoff Games with ω-Regular Specifications.
Games
Julian Gutierrez, Thomas Steeples, Michael J. Wooldridge
2022 J jnl
On the Complexity of Rational Verification.
CoRR
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2022 J jnl
Partial Order Games.
Games
Valeria Zahoransky, Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
2021 J jnl
Equilibria for games with combined qualitative and quantitative objectives.
Acta Informatica
Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge
2021 J jnl
Equilibrium Design for Concurrent Games.
CoRR
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2021 J jnl
Expressiveness and Nash Equilibrium in Iterated Boolean Games.
ACM Trans. Comput. Log.
Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge
2021 A conf
Mean-Payoff Games with ω-Regular Specifications.
AAMAS
Thomas Steeples, Julian Gutierrez, Michael J. Wooldridge
2021 A conf
Multi-Agent Reinforcement Learning with Temporal Logic Specifications.
AAMAS
Lewis Hammond, Alessandro Abate, Julian Gutierrez, Michael J. Wooldridge
2021 J jnl
Multi-Agent Reinforcement Learning with Temporal Logic Specifications.
CoRR
Lewis Hammond, Alessandro Abate, Julian Gutierrez, Michael J. Wooldridge
2021 J jnl
Multi-player games with LDL goals over finite traces.
Inf. Comput.
Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge
2021 A* conf
Rational Verification for Probabilistic Systems.
KR
Julian Gutierrez, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael J. Wooldridge
2021 J jnl
Rational Verification for Probabilistic Systems.
CoRR
Julian Gutierrez, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael J. Wooldridge
2021 J jnl
Rational verification: game-theoretic verification of multi-agent systems.
Appl. Intell.
Alessandro Abate, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Najib, Giuseppe Perelli, Thomas Steeples, Michael J. Wooldridge
2020 J jnl
Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games.
CoRR
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2020 J jnl
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games.
Artif. Intell.
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2020 J jnl
Equilibria for Games with Combined Qualitative and Quantitative Objectives.
CoRR
Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge
2020 J jnl
Multi-Player Games with LDL Goals over Finite Traces.
CoRR
Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge
2019 A conf
Cooperative Concurrent Games.
AAMAS
Julian Gutierrez, Sarit Kraus, Michael J. Wooldridge
2019 B conf
Equilibrium Design for Concurrent Games.
CONCUR
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2019 J jnl
Nash Equilibrium and Bisimulation Invariance.
Log. Methods Comput. Sci.
Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge
2019 A* conf
On Computational Tractability for Rational Verification.
IJCAI
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2018 B conf
EVE: A Tool for Temporal Equilibrium Analysis.
ATVA
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge
2018 J jnl
Federated logic conference (FLoC) at Oxford.
ACM SIGLOG News
Daniele Ahmed, Katherine Fletcher, Julian Gutierrez
2018 J jnl
Imperfect information in Reactive Modules games.
Inf. Comput.
Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge
2018 A conf
Local Equilibria in Logic-Based Multi-Player Games.
AAMAS
Julian Gutierrez, Paul Harrenstein, Thomas Steeples, Michael J. Wooldridge
2018 J jnl
Nash Equilibrium and Bisimulation Invariance.
CoRR
Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge
2018 J jnl
On fixpoint logics and equivalences for processes with restricted nondeterminism.
J. Log. Comput.
Julian Gutierrez
2018 J jnl
Preface to the SR-2015 special issue.
Inf. Comput.
Julian Gutierrez, Michael J. Wooldridge
2017 J jnl
From model checking to equilibrium checking: Reactive modules for rational verification.
Artif. Intell.
Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
2017 A conf
Iterated Boolean Games for Rational Verification.
AAMAS
Tong Gao, Julian Gutierrez, Michael J. Wooldridge
2017 A conf
Iterated Games with LDL Goals over Finite Traces.
AAMAS
Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge
2017 A* conf
Nash Equilibria in Concurrent Games with Lexicographic Preferences.
IJCAI
Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Michael J. Wooldridge
2017 B conf
Nash Equilibrium and Bisimulation Invariance.
CONCUR
Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge
2017 J jnl
Reasoning about equilibria in game-like concurrent systems.
Ann. Pure Appl. Log.
Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
2016 A conf
Expressiveness and Nash Equilibrium in Iterated Boolean Games.
AAMAS
Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge
2016 A* conf
Imperfect Information in Reactive Modules Games.
KR
Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge
2016 J jnl
Partial-order Boolean games: informational independence in a logic-based model of strategic interaction.
Synth.
Julian C. Bradfield, Julian Gutierrez, Michael J. Wooldridge
2016 A* conf
Rational Verification: From Model Checking to Equilibrium Checking.
AAAI
Michael J. Wooldridge, Julian Gutierrez, Paul Harrenstein, Enrico Marchioni, Giuseppe Perelli, Alexis Toumi
2015 C conf
A Mathematical Game Semantics of Concurrency and Nondeterminism.
ICTAC
Julian Gutierrez
2015 C conf
A Tool for the Automated Verification of Nash Equilibria in Concurrent Games.
ICTAC
Alexis Toumi, Julian Gutierrez, Michael J. Wooldridge
2015 B conf
Expresiveness and Complexity Results for Strategic Reasoning.
CONCUR
Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
2015 J jnl
Iterated Boolean games.
Inf. Comput.
Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
2014 — conf
Equilibria of concurrent games on event structures.
CSL-LICS
Julian Gutierrez, Michael J. Wooldridge
2014 J jnl
On the determinacy of concurrent games on event structures with infinite winning sets.
J. Comput. Syst. Sci.
Julian Gutierrez, Glynn Winskel
2014 A* conf
Reasoning about Equilibria in Game-Like Concurrent Systems.
KR
Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
2014 J jnl
The μ-calculus alternation hierarchy collapses over structures with restricted connectivity.
Theor. Comput. Sci.
Julian Gutierrez, Felix Klaedtke, Martin Lange
2013 B conf
Borel Determinacy of Concurrent Games.
CONCUR
Julian Gutierrez, Glynn Winskel
2013 — conf
Imperfect Information in Logic and Concurrent Games.
Computation, Logic, Games, and Quantum Foundations
Pierre Clairambault, Julian Gutierrez, Glynn Winskel
2013 A* conf
Iterated Boolean Games.
IJCAI
Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge
2012 A* conf
The Winning Ways of Concurrent Games.
LICS
Pierre Clairambault, Julian Gutierrez, Glynn Winskel
2012 — conf
The μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity
GandALF
Julian Gutierrez, Felix Klaedtke, Martin Lange
2011 C conf
Concurrent Logic Games on Partial Orders.
WoLLIC
Julian Gutierrez
2011 J jnl
Model-checking games for fixpoint logics with partial order models.
Inf. Comput.
Julian Gutierrez, Julian C. Bradfield
2011 — —
On bisimulation and model-checking for concurrent systems with partial order semantics.
Julian Gutierrez
2010 J jnl
Logics and Games for True Concurrency
CoRR
Julian Gutierrez
2009 B conf
Logics and Bisimulation Games for Concurrency, Causality and Conflict.
FoSSaCS
Julian Gutierrez
2009 B conf
Model-Checking Games for Fixpoint Logics with Partial Order Models.
CONCUR
Julian Gutierrez, Julian C. Bradfield
2006 — conf
Timed Concurrent Constraint Programming for Analysing Biological Systems.
MeCBIC@ICALP
Julian Gutierrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia