Paul Harrenstein
Paul Harrenstein
Post-doctoral researcher, University of Oxford
Verified email at
Cited by
Cited by
Boolean games
P Harrenstein, W van der Hoek, JJ Meyer, C Witteveen
Proceedings of the 8th conference on Theoretical aspects of rationality and …, 2001
Logic in conflict
P Harrenstein
PhD thesis, Utrecht University, 2004
Fractional hedonic games
H Aziz, F Brandl, F Brandt, P Harrenstein, M Olsen, D Peters
ACM Transactions on Economics and Computation (TEAC) 7 (2), 1-29, 2019
Pareto optimality in coalition formation
H Aziz, F Brandt, P Harrenstein
Games and Economic Behavior 82, 562-581, 2013
The computational complexity of choice sets
F Brandt, F Fischer, P Harrenstein
Mathematical Logic Quarterly 55 (4), 444-459, 2009
Tournament solutions
F Brandt, M Brill, B Harrenstein
Cambridge University Press, 2016
Iterated boolean games
J Gutierrez, P Harrenstein, M Wooldridge
Information and Computation 242, 53-79, 2015
A modal characterization of Nash equilibrium
P Harrenstein, W Van der Hoek, JJ Meyer, C Witteveen
Fundamenta Informaticae 57 (2-4), 281-321, 2003
A computational analysis of the tournament equilibrium set
F Brandt, F Fischer, P Harrenstein, M Mair
Social Choice and Welfare 34 (4), 597-609, 2010
Possible and necessary winners of partial tournaments
H Aziz, M Brill, F Fischer, P Harrenstein, J Lang, HG Seedig
Journal of Artificial Intelligence Research 54, 493-534, 2015
Rational Verification: From Model Checking to Equilibrium Checking.
MJ Wooldridge, J Gutierrez, P Harrenstein, E Marchioni, G Perelli, ...
AAAI 16, 4184-4191, 2016
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
Monotone cooperative games and their threshold versions
H Aziz, F Brandt, P Harrenstein
Proceedings of the 9th International Conference on Autonomous Agents and …, 2010
Set-rationalizable choice and self-stability
F Brandt, P Harrenstein
Journal of Economic Theory 146 (4), 1721-1731, 2011
A qualitative vickrey auction
BP Harrenstein, MM De Weerdt, V Conitzer
Proceedings of the 10th ACM conference on Electronic commerce, 197-206, 2009
Ranking games
F Brandt, F Fischer, P Harrenstein, Y Shoham
Artificial Intelligence 173 (2), 221-239, 2009
On the rate of convergence of fictitious play
F Brandt, F Fischer, P Harrenstein
International Symposium on Algorithmic Game Theory, 102-113, 2010
On modal logic interpretations of games
P Harrenstein, W Van Der Hoek, JJ Meyer, C Witteveen
ECAI, 28-32, 2002
Expressiveness and complexity results for strategic reasoning
J Gutierrez, P Harrenstein, M Wooldridge
Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2015
From model checking to equilibrium checking: Reactive modules for rational verification
J Gutierrez, P Harrenstein, M Wooldridge
Artificial Intelligence 248, 123-157, 2017
The system can't perform the operation now. Try again later.
Articles 1–20