Julian Gutierrez
Julian Gutierrez
Geverifieerd e-mailadres voor cs.ox.ac.uk - Homepage
TitelGeciteerd doorJaar
Iterated boolean games
J Gutierrez, P Harrenstein, M Wooldridge
Information and Computation 242, 53-79, 2015
562015
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
332016
The winning ways of concurrent games
P Clairambault, J Gutierrez, G Winskel
Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer …, 2012
312012
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
312007
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
302017
A tool for the automated verification of Nash equilibria in concurrent games
A Toumi, J Gutierrez, M Wooldridge
International Colloquium on Theoretical Aspects of Computing, 583-594, 2015
232015
Expressiveness and complexity results for strategic reasoning
J Gutierrez, P Harrenstein, M Wooldridge
Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2015
212015
From model checking to equilibrium checking: Reactive modules for rational verification
J Gutierrez, P Harrenstein, M Wooldridge
Artificial Intelligence 248, 123-157, 2017
172017
Logics and bisimulation games for concurrency, causality and conflict
J Gutierrez
Foundations of Software Science and Computational Structures, 48-62, 2009
172009
On bisimulation and model-checking for concurrent systems with partial order semantics
J Gutierrez
The University of Edinburgh, 2011
142011
Imperfect information in reactive modules games
J Gutierrez, G Perelli, M Wooldridge
Fifteenth International Conference on the Principles of Knowledge …, 2016
132016
Nash equilibria in concurrent games with lexicographic preferences
J Gutierrez, A Murano, G Perelli, S Rubin, M Wooldridge
Association for the Advancement of Artificial Intelligence, 2017
122017
Timed concurrent constraint programming in systems biology
A Arbeláez, J Gutiérrez, JA Pérez
Newsletter of the ALP 19 (4), 2006
122006
Imperfect information in reactive modules games
J Gutierrez, G Perelli, M Wooldridge
Information and Computation 261, 650-675, 2018
112018
Equilibria of concurrent games on event structures
J Gutierrez, M Wooldridge
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
112014
Model-checking games for fixpoint logics with partial order models
J Gutierrez, J Bradfield
Information and Computation, 2010
102010
EVE: A Tool for Temporal Equilibrium Analysis
J Gutierrez, M Najib, G Perelli, M Wooldridge
International Symposium on Automated Technology for Verification and …, 2018
92018
Iterated Games with LDL Goals over Finite Traces
J Gutierrez, G Perelli, M Wooldridge
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017
92017
Concurrent logic games on partial orders
J Gutierrez
Logic, Language, Information and Computation, 146-160, 2011
92011
Nash equilibrium and bisimulation invariance
J Gutierrez, P Harrenstein, G Perelli, M Wooldridge
LIPIcs-Leibniz International Proceedings in Informatics 85, 2017
82017
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20