Sledovat
Julian Gutierrez
Julian Gutierrez
Associate Professor, University of Sussex
E-mailová adresa ověřena na: sussex.ac.uk - Domovská stránka
Název
Citace
Citace
Rok
Iterated boolean games
J Gutierrez, P Harrenstein, M Wooldridge
Information and Computation 242, 53-79, 2015
862015
Rational Verification: From Model Checking to Equilibrium Checking
M Wooldridge, J Gutierrez, P Harrenstein, E Marchioni, G Perelli, A Toumi
AAAI 16, 4184-4191, 2016
622016
Multi-Agent Reinforcement Learning with Temporal Logic Specifications
L Hammond, A Abate, J Gutierrez, M Wooldridge
arXiv preprint arXiv:2102.00582, 2021
522021
From model checking to equilibrium checking: Reactive modules for rational verification
J Gutierrez, P Harrenstein, M Wooldridge
Artificial Intelligence 248, 123-157, 2017
472017
Reasoning about equilibria in game-like concurrent systems
J Gutierrez, P Harrenstein, M Wooldridge
Annals of Pure and Applied Logic 168 (2), 373-403, 2017
452017
The winning ways of concurrent games
P Clairambault, J Gutierrez, G Winskel
2012 27th Annual IEEE Symposium on Logic in Computer Science, 235-244, 2012
402012
Imperfect information in reactive modules games
J Gutierrez, G Perelli, M Wooldridge
Information and Computation 261, 650-675, 2018
382018
Rational verification: game-theoretic verification of multi-agent systems
A Abate, J Gutierrez, L Hammond, P Harrenstein, M Kwiatkowska, M Najib, ...
Applied Intelligence 51 (9), 6569-6584, 2021
352021
A tool for the automated verification of Nash equilibria in concurrent games
A Toumi, J Gutierrez, M Wooldridge
Theoretical Aspects of Computing-ICTAC 2015: 12th International Colloquium …, 2015
342015
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
J Gutierrez, M Najib, G Perelli, M Wooldridge
Artificial Intelligence 287, 103353, 2020
332020
EVE: A Tool for Temporal Equilibrium Analysis
J Gutierrez, M Najib, G Perelli, M Wooldridge
Automated Technology for Verification and Analysis: 16th International …, 2018
332018
Nash equilibria in concurrent games with lexicographic preferences
J Gutierrez, A Murano, G Perelli, S Rubin, M Wooldridge
2017 International Joint Conference on Artificial Intelligence (IJCAI 2017), 2017
322017
Timed concurrent constraint programming for analysing biological systems
J Gutiérrez, JA Pérez, C Rueda, FD Valencia
Electronic Notes in Theoretical Computer Science 171 (2), 117-137, 2007
322007
Expresiveness and complexity results for strategic reasoning
J Gutierrez, P Harrenstein, M Wooldridge
26th International Conference on Concurrency Theory (CONCUR 2015), 2015
272015
Cooperative concurrent games
J Gutierrez, S Kowara, S Kraus, T Steeples, M Wooldridge
Artificial Intelligence 314, 103806, 2023
212023
Equilibria for games with combined qualitative and quantitative objectives
J Gutierrez, A Murano, G Perelli, S Rubin, T Steeples, M Wooldridge
Acta Informatica 58 (6), 585-610, 2021
202021
Equilibrium Design for Concurrent Games
J Gutierrez, M Najib, G Perelli, M Wooldridge
30th International Conference on Concurrency Theory (CONCUR 2019), 2019
202019
On Computational Tractability for Rational Verification
J Gutierrez, M Najib, G Perelli, M Wooldridge
Schloss Dagstuhl, 2019
202019
Logics and bisimulation games for concurrency, causality and conflict
J Gutierrez
Foundations of Software Science and Computational Structures, 48-62, 2009
202009
Nash Equilibrium and Bisimulation Invariance
M Wooldridge, G Perelli, P Harrenstein, J Gutierrez
Logical Methods in Computer Science 15, 2019
19*2019
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20