Julian Gutierrez

Julian Gutierrez

Monash University - Clayton / Australia
History, Philosophy, Theology / Philosophy
AD Scientific Index ID: 124743
Monash University
person_outline Julian Gutierrez's MOST POPULAR ARTICLES
1-) Iterated boolean gamesJ Gutierrez, P Harrenstein, M WooldridgeInformation and Computation 242, 53-79, 2015722015
2-) Rational Verification: From Model Checking to Equilibrium CheckingM Wooldridge, J Gutierrez, P Harrenstein, E Marchioni, G Perelli, A ToumiAAAI 16, 4184-4191, 2016442016
3-) Multi-Agent Reinforcement Learning with Temporal Logic SpecificationsL Hammond, A Abate, J Gutierrez, M WooldridgearXiv preprint arXiv:2102.00582, 2021442021
4-) From model checking to equilibrium checking: Reactive modules for rational verificationJ Gutierrez, P Harrenstein, M WooldridgeArtificial Intelligence 248, 123-157, 2017482017
5-) Reasoning about equilibria in game-like concurrent systemsJ Gutierrez, P Harrenstein, M WooldridgeAnnals of Pure and Applied Logic 168 (2), 373-403, 2017452017