Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Paul Harrenstein

◀ ▶ joint publications with Julian Gutierrez 0001

> Home > Persons > Paul Harrenstein

Publications

2023
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/LeeHAEG0HW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/LeeHAEG0HW23
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
[i10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-13888
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-13888
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)
2022
[j30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/games/ZahoranskyGHW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/games/ZahoranskyGHW22
Valeria Zahoransky, Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge:
Partial Order Games. Games 13(1): 2 (2022)
2021
[j29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/apin/AbateGHHKNPSW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apin/AbateGHHKNPSW21
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)
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/GutierrezHPW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/GutierrezHPW21
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)
2019
[j24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/0001HPW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/0001HPW19
Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge:
Nash Equilibrium and Bisimulation Invariance. Log. Methods Comput. Sci. 15(3) (2019)
2018
[c33]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/0001HSW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/0001HSW18
Julian Gutierrez, Paul Harrenstein, Thomas Steeples, Michael J. Wooldridge:
Local Equilibria in Logic-Based Multi-Player Games. AAMAS 2018: 399-406
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1808-09213
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-09213
Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge:
Nash Equilibrium and Bisimulation Invariance. CoRR abs/1808.09213 (2018)
2017
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/GutierrezHW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/GutierrezHW17
Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge:
From model checking to equilibrium checking: Reactive modules for rational verification. Artif. Intell. 248: 123-157 (2017)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/GutierrezHW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/GutierrezHW17
Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge:
Reasoning about equilibria in game-like concurrent systems. Ann. Pure Appl. Log. 168(2): 373-403 (2017)
[c32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/0001HPW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/0001HPW17
Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge:
Nash Equilibrium and Bisimulation Invariance. CONCUR 2017: 17:1-17:16
2016
[c30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/WooldridgeGHMPT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/WooldridgeGHMPT16
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
[c29]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/GutierrezHPW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/GutierrezHPW16
Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge:
Expressiveness and Nash Equilibrium in Iterated Boolean Games. AAMAS 2016: 707-715
2015
[j15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/GutierrezHW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/GutierrezHW15
Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge:
Iterated Boolean games. Inf. Comput. 242: 53-79 (2015)
[c25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/GutierrezHW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/GutierrezHW15
Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge:
Expresiveness and Complexity Results for Strategic Reasoning. CONCUR 2015: 268-282
2014
[c19]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/GutierrezHW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/GutierrezHW14
Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge:
Reasoning about Equilibria in Game-Like Concurrent Systems. KR 2014
2013
[c16]
- view
- export record
  dblp key:
  - conf/ijcai/GutierrezHW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GutierrezHW13
Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge:
Iterated Boolean Games. IJCAI 2013: 932-938

a service of

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.