Research output per year
Research output per year
- 21 results
Search results
-
2023
Cooperative concurrent games
Gutierrez, J., Kowara, S., Kraus, S., Steeples, T. & Wooldridge, M., Jan 2023, In: Artificial Intelligence. 314, 26 p., 103806.Research output: Contribution to journal › Article › Research › peer-review
1 Citation (Scopus) -
Core type theory
van Dijk, E., Ripley, D. & Gutierrez, J., 2023, In: Bulletin of the Section of Logic. 52, 2, p. 145-186 42 p.Research output: Contribution to journal › Article › Research › peer-review
Open AccessFile -
On the complexity of rational verification
Gutierrez, J., Najib, M., Perelli, G. & Wooldridge, M., Aug 2023, In: Annals of Mathematics and Artificial Intelligence. 91, p. 409–430 22 p.Research output: Contribution to journal › Article › Research › peer-review
Open AccessFile1 Citation (Scopus) -
2022
Mean-payoff games with ω-regular specifications
Gutierrez, J., Steeples, T. & Wooldridge, M., 9 Feb 2022, In: Games. 13, 1, 37 p., 19.Research output: Contribution to journal › Article › Research › peer-review
Open AccessFile1 Citation (Scopus) -
Partial order games
Zahoransky, V., Gutierrez, J., Harrenstein, P. & Wooldridge, M., 2022, In: Games. 13, 1, 49 p., 2.Research output: Contribution to journal › Article › Research › peer-review
Open AccessFile2 Citations (Scopus) -
2021
Expressiveness and Nash equilibrium in iterated Boolean games
Gutierrez, J., Harrenstein, P., Perelli, G. & Wooldridge, M., 8 Jun 2021, In: ACM Transactions on Computational Logic. 22, 2, 38 p., 3439900.Research output: Contribution to journal › Article › Research › peer-review
-
Multi-player games with LDL goals over finite traces
Gutierrez, J., Perelli, G. & Wooldridge, M., Feb 2021, In: Information and Computation. 276, 16 p., 104555.Research output: Contribution to journal › Article › Research › peer-review
1 Citation (Scopus) -
Rational verification: game-theoretic verification of multi-agent systems
Abate, A., Gutierrez, J., Hammond, L., Harrenstein, P., Kwiatkowska, M., Najib, M., Perelli, G., Steeples, T. & Wooldridge, M., 3 Aug 2021, In: Applied Intelligence. 51, 9, p. 6569-6584 16 p.Research output: Contribution to journal › Article › Research › peer-review
Open AccessFile9 Citations (Scopus) -
2020
Automated temporal equilibrium analysis: verification and synthesis of multi-player games
Gutierrez, J., Najib, M., Perelli, G. & Wooldridge, M., Oct 2020, In: Artificial Intelligence. 287, 25 p., 103353.Research output: Contribution to journal › Article › Research › peer-review
15 Citations (Scopus) -
Equilibria for games with combined qualitative and quantitative objectives
Gutierrez, J., Murano, A., Perelli, G., Rubin, S., Steeples, T. & Wooldridge, M., 13 Jun 2020, In: Acta Informatica. 2020, 26 p.Research output: Contribution to journal › Article › Research › peer-review
10 Citations (Scopus) -
2019
Nash equilibrium and bisimulation invariance
Gutierrez, J., Harrenstein, P., Perelli, G. & Wooldridge, M., 20 Sept 2019, In: Logical Methods in Computer Science. 15, 3, 49 p., 32.Research output: Contribution to journal › Article › Research › peer-review
Open AccessFile4 Citations (Scopus) -
2018
Imperfect information in Reactive Modules Games
Gutierrez, J., Perelli, G. & Wooldridge, M., Aug 2018, In: Information and Computation. 261, Part 4, p. 650-675 26 p.Research output: Contribution to journal › Article › Research › peer-review
18 Citations (Scopus) -
On fixpoint logics and equivalences for processes with restricted nondeterminism
Gutierrez, J., Jun 2018, In: Journal of Logic and Computation. 28, 4, p. 779-807 29 p.Research output: Contribution to journal › Article › Research › peer-review
-
2017
From model checking to equilibrium checking: reactive modules for rational verification
Gutierrez, J., Harrenstein, P. & Wooldridge, M., Jul 2017, In: Artificial Intelligence. 248, p. 123-157 35 p.Research output: Contribution to journal › Article › Research › peer-review
26 Citations (Scopus) -
Reasoning about equilibria in game-like concurrent systems
Gutierrez, J., Harrenstein, P. & Wooldridge, M., Feb 2017, In: Annals of Pure and Applied Logic. 168, 2, p. 373-403 31 p.Research output: Contribution to journal › Article › Research › peer-review
13 Citations (Scopus) -
2015
Iterated Boolean games
Gutierrez, J., Harrenstein, P. & Wooldridge, M., Jun 2015, In: Information and Computation. 242, p. 53-79 27 p.Research output: Contribution to journal › Article › Research › peer-review
Open AccessFile51 Citations (Scopus) -
Partial-order Boolean games: informational independence in a logic-based model of strategic interaction
Bradfield, J., Gutierrez, J. & Wooldridge, M., 18 Dec 2015, In: Synthese. 193, 3, p. 781-811 31 p.Research output: Contribution to journal › Article › Research › peer-review
5 Citations (Scopus) -
2014
On the determinacy of concurrent games on event structures with infinite winning sets
Gutierrez, J. & Winskel, G., Sept 2014, In: Journal of Computer and System Sciences. 80, 6, p. 1119-1137 19 p.Research output: Contribution to journal › Article › Research › peer-review
Open AccessFile4 Citations (Scopus) -
The μ-calculus alternation hierarchy collapses over structures with restricted connectivity
Gutierrez, J., Klaedtke, F. & Lange, M., 4 Dec 2014, In: Theoretical Computer Science. 560, P3, p. 292-306 15 p.Research output: Contribution to journal › Article › Other › peer-review
Open AccessFile5 Citations (Scopus) -
2011
Model-checking games for Fixpoint Logics with partial order models
Gutierrez, J. & Bradfield, J., 2011, In: Information and Computation. 209, 5, p. 766-781 16 p.Research output: Contribution to journal › Article › Other › peer-review
Open Access3 Citations (Scopus) -
2007
Timed concurrent constraint programming for analysing biological systems
Gutierrez, J., Pérez, J. A., Rueda, C. & Valencia, F. D., 2007, In: Electronic Notes in Theoretical Computer Science. 171, 2 SPEC. ISS., p. 117-137 21 p.Research output: Contribution to journal › Article › Research › peer-review
Open Access8 Citations (Scopus)