![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Julian Gutierrez 0001
Person information
- affiliation: Monash University, Melbourne, Victoria, Australia
- affiliation (former): University of Oxford, UK
Other persons with the same name
- Julian Gutierrez 0002 — Northeastern University, Boston, USA
- Julian Gutierrez 0003
— King Abdullah University of Science and Technology, Thuwal, Saudi Arabia
- Julian Gutierrez 0004 — University of Valencia, Spain
- Julian Gutierrez 0005 — NASA Langley Research Center, Hampton, VA, USA
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c36]David Hyland, Julian Gutierrez, Shankaranarayanan Krishna, Michael J. Wooldridge:
Rational Verification with Quantitative Probabilistic Goals. AAMAS 2024: 871-879 - [c35]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: 32:1-32:25 - 2023
- [j21]Julian Gutierrez, Szymon Kowara, Sarit Kraus
, Thomas Steeples
, Michael J. Wooldridge
:
Cooperative concurrent games. Artif. Intell. 314: 103806 (2023) - [j20]Julian Gutierrez, Muhammad Najib
, Giuseppe Perelli
, Michael J. Wooldridge:
On the complexity of rational verification. Ann. Math. Artif. Intell. 91(4): 409-430 (2023) - [c34]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: 2049-2057 - [c33]David Hyland, Julian Gutierrez, Michael J. Wooldridge:
Principal-Agent Boolean Games. IJCAI 2023: 144-152 - [c32]Saksham Aggarwal, Alejandro Stuckey de la Banda, Luke Yang, Julian Gutierrez:
A Matrix-Based Approach to Parity Games. TACAS (1) 2023: 666-683 - [c31]David Hyland, Julian Gutierrez, Michael J. Wooldridge:
Incentive Engineering for Concurrent Games. TARK 2023: 344-358 - [i14]Julian Gutierrez, Szymon Kowara, Sarit Kraus, Thomas Steeples, Michael J. Wooldridge:
Cooperative Concurrent Games. CoRR abs/2301.06157 (2023) - [i13]Wei-Chen Lee, David Hyland, Alessandro Abate, Edith Elkind, Jiarui Gan, Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge:
k-Prize Weighted Voting Games. CoRR abs/2302.13888 (2023) - [i12]David Hyland, Julian Gutierrez, Michael J. Wooldridge:
Principal-Agent Boolean Games. CoRR abs/2305.10334 (2023) - [i11]Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge:
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints. CoRR abs/2306.03045 (2023) - [i10]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 abs/2311.15883 (2023) - 2022
- [j19]Valeria Zahoransky, Julian Gutierrez, Paul Harrenstein
, Michael J. Wooldridge
:
Partial Order Games. Games 13(1): 2 (2022) - [j18]Julian Gutierrez
, Thomas Steeples
, Michael J. Wooldridge
:
Mean-Payoff Games with ω-Regular Specifications. Games 13(1): 19 (2022) - [c30]Julian Gutierrez, Sarit Kraus, Giuseppe Perelli, Michael J. Wooldridge:
Giving Instructions in Linear Temporal Logic. TIME 2022: 15:1-15:14 - [i9]Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge:
On the Complexity of Rational Verification. CoRR abs/2207.02637 (2022) - 2021
- [j17]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): 585-610 (2021) - [j16]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): 6569-6584 (2021) - [j15]Julian Gutierrez, Giuseppe Perelli
, Michael J. Wooldridge:
Multi-player games with LDL goals over finite traces. Inf. Comput. 276: 104555 (2021) - [j14]Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli
, Michael J. Wooldridge:
Expressiveness and Nash Equilibrium in Iterated Boolean Games. ACM Trans. Comput. Log. 22(2): 8:1-8:38 (2021) - [c29]Lewis Hammond, Alessandro Abate, Julian Gutierrez, Michael J. Wooldridge:
Multi-Agent Reinforcement Learning with Temporal Logic Specifications. AAMAS 2021: 583-592 - [c28]Thomas Steeples, Julian Gutierrez, Michael J. Wooldridge:
Mean-Payoff Games with ω-Regular Specifications. AAMAS 2021: 1272-1280 - [c27]Julian Gutierrez, Lewis Hammond, Anthony W. Lin
, Muhammad Najib
, Michael J. Wooldridge:
Rational Verification for Probabilistic Systems. KR 2021: 312-322 - [i8]Lewis Hammond, Alessandro Abate, Julian Gutierrez, Michael J. Wooldridge:
Multi-Agent Reinforcement Learning with Temporal Logic Specifications. CoRR abs/2102.00582 (2021) - [i7]Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge:
Equilibrium Design for Concurrent Games. CoRR abs/2106.10192 (2021) - [i6]Julian Gutierrez, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael J. Wooldridge:
Rational Verification for Probabilistic Systems. CoRR abs/2107.09119 (2021) - 2020
- [j13]Julian Gutierrez, Muhammad Najib
, Giuseppe Perelli
, Michael J. Wooldridge:
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games. Artif. Intell. 287: 103353 (2020) - [i5]Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J. Wooldridge:
Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games. CoRR abs/2008.05638 (2020) - [i4]Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge:
Equilibria for Games with Combined Qualitative and Quantitative Objectives. CoRR abs/2008.05643 (2020) - [i3]Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge:
Multi-Player Games with LDL Goals over Finite Traces. CoRR abs/2008.05647 (2020)
2010 – 2019
- 2019
- [j12]Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli
, Michael J. Wooldridge:
Nash Equilibrium and Bisimulation Invariance. Log. Methods Comput. Sci. 15(3) (2019) - [c26]Julian Gutierrez, Sarit Kraus, Michael J. Wooldridge:
Cooperative Concurrent Games. AAMAS 2019: 1198-1206 - [c25]Julian Gutierrez, Muhammad Najib
, Giuseppe Perelli
, Michael J. Wooldridge:
Equilibrium Design for Concurrent Games. CONCUR 2019: 22:1-22:16 - [c24]Julian Gutierrez, Muhammad Najib
, Giuseppe Perelli
, Michael J. Wooldridge:
On Computational Tractability for Rational Verification. IJCAI 2019: 329-335 - 2018
- [j11]Julian Gutierrez, Michael J. Wooldridge:
Preface to the SR-2015 special issue. Inf. Comput. 261: 487 (2018) - [j10]Julian Gutierrez, Giuseppe Perelli
, Michael J. Wooldridge:
Imperfect information in Reactive Modules games. Inf. Comput. 261: 650-675 (2018) - [j9]Julian Gutierrez:
On fixpoint logics and equivalences for processes with restricted nondeterminism. J. Log. Comput. 28(4): 779-807 (2018) - [j8]Daniele Ahmed, Katherine Fletcher, Julian Gutierrez:
Federated logic conference (FLoC) at Oxford. ACM SIGLOG News 5(4): 52-53 (2018) - [c23]Julian Gutierrez, Paul Harrenstein, Thomas Steeples, Michael J. Wooldridge:
Local Equilibria in Logic-Based Multi-Player Games. AAMAS 2018: 399-406 - [c22]Julian Gutierrez, Muhammad Najib
, Giuseppe Perelli
, Michael J. Wooldridge:
EVE: A Tool for Temporal Equilibrium Analysis. ATVA 2018: 551-557 - [i2]Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge:
Nash Equilibrium and Bisimulation Invariance. CoRR abs/1808.09213 (2018) - 2017
- [j7]Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge:
From model checking to equilibrium checking: Reactive modules for rational verification. Artif. Intell. 248: 123-157 (2017) - [j6]Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge:
Reasoning about equilibria in game-like concurrent systems. Ann. Pure Appl. Log. 168(2): 373-403 (2017) - [c21]Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge:
Iterated Games with LDL Goals over Finite Traces. AAMAS 2017: 696-704 - [c20]Tong Gao, Julian Gutierrez, Michael J. Wooldridge:
Iterated Boolean Games for Rational Verification. AAMAS 2017: 705-713 - [c19]Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli
, Michael J. Wooldridge:
Nash Equilibrium and Bisimulation Invariance. CONCUR 2017: 17:1-17:16 - [c18]Julian Gutierrez, Aniello Murano
, Giuseppe Perelli, Sasha Rubin, Michael J. Wooldridge:
Nash Equilibria in Concurrent Games with Lexicographic Preferences. IJCAI 2017: 1067-1073 - 2016
- [j5]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): 781-811 (2016) - [c17]Michael J. Wooldridge, Julian Gutierrez, Paul Harrenstein, Enrico Marchioni, Giuseppe Perelli, Alexis Toumi
:
Rational Verification: From Model Checking to Equilibrium Checking. AAAI 2016: 4184-4191 - [c16]Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge:
Expressiveness and Nash Equilibrium in Iterated Boolean Games. AAMAS 2016: 707-715 - [c15]Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge:
Imperfect Information in Reactive Modules Games. KR 2016: 390-400 - 2015
- [j4]Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge:
Iterated Boolean games. Inf. Comput. 242: 53-79 (2015) - [c14]Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge:
Expresiveness and Complexity Results for Strategic Reasoning. CONCUR 2015: 268-282 - [c13]Alexis Toumi
, Julian Gutierrez, Michael J. Wooldridge:
A Tool for the Automated Verification of Nash Equilibria in Concurrent Games. ICTAC 2015: 583-594 - [c12]Julian Gutierrez:
A Mathematical Game Semantics of Concurrency and Nondeterminism. ICTAC 2015: 597-607 - 2014
- [j3]Julian Gutierrez, Glynn Winskel:
On the determinacy of concurrent games on event structures with infinite winning sets. J. Comput. Syst. Sci. 80(6): 1119-1137 (2014) - [j2]Julian Gutierrez, Felix Klaedtke, Martin Lange:
The μ-calculus alternation hierarchy collapses over structures with restricted connectivity. Theor. Comput. Sci. 560: 292-306 (2014) - [c11]Julian Gutierrez, Michael J. Wooldridge:
Equilibria of concurrent games on event structures. CSL-LICS 2014: 46:1-46:10 - [c10]Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge:
Reasoning about Equilibria in Game-Like Concurrent Systems. KR 2014 - 2013
- [c9]Pierre Clairambault, Julian Gutierrez, Glynn Winskel:
Imperfect Information in Logic and Concurrent Games. Computation, Logic, Games, and Quantum Foundations 2013: 7-20 - [c8]Julian Gutierrez, Glynn Winskel:
Borel Determinacy of Concurrent Games. CONCUR 2013: 516-530 - [c7]Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge:
Iterated Boolean Games. IJCAI 2013: 932-938 - 2012
- [c6]Pierre Clairambault, Julian Gutierrez, Glynn Winskel:
The Winning Ways of Concurrent Games. LICS 2012: 235-244 - [c5]Julian Gutierrez, Felix Klaedtke, Martin Lange:
The μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity. GandALF 2012: 113-126 - 2011
- [b1]Julian Gutierrez:
On bisimulation and model-checking for concurrent systems with partial order semantics. University of Edinburgh, UK, 2011 - [j1]Julian Gutierrez, Julian C. Bradfield:
Model-checking games for fixpoint logics with partial order models. Inf. Comput. 209(5): 766-781 (2011) - [c4]Julian Gutierrez:
Concurrent Logic Games on Partial Orders. WoLLIC 2011: 146-160 - 2010
- [i1]Julian Gutierrez:
Logics and Games for True Concurrency. CoRR abs/1011.1172 (2010)
2000 – 2009
- 2009
- [c3]Julian Gutierrez, Julian C. Bradfield:
Model-Checking Games for Fixpoint Logics with Partial Order Models. CONCUR 2009: 354-368 - [c2]Julian Gutierrez:
Logics and Bisimulation Games for Concurrency, Causality and Conflict. FoSSaCS 2009: 48-62 - 2006
- [c1]Julian Gutierrez, Jorge A. Pérez
, Camilo Rueda
, Frank D. Valencia:
Timed Concurrent Constraint Programming for Analysing Biological Systems. MeCBIC@ICALP 2006: 117-137
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint