Follow
Paul Harrenstein
Paul Harrenstein
Post-doctoral researcher, University of Oxford
Verified email at in.tum.de
Title
Cited by
Cited by
Year
Boolean games
P Harrenstein, W van der Hoek, JJ Meyer, C Witteveen
Proceedings of the 8th Conference on Theoretical Aspects of Rationality and …, 2001
1952001
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
1762019
Tournament solutions
F Brandt, M Brill, B Harrenstein
Cambridge University Press, 2016
1162016
Logic in conflict: Logical explorations in strategic equilibrium
BP Harrenstein
Ponsen & Looijen, 2004
1102004
Pareto optimality in coalition formation
H Aziz, F Brandt, P Harrenstein
Games and Economic Behavior 82, 562-581, 2013
1052013
Iterated boolean games
J Gutierrez, P Harrenstein, M Wooldridge
Information and Computation 242, 53-79, 2015
842015
The computational complexity of choice sets
F Brandt, F Fischer, P Harrenstein
Proceedings of the 11th conference on Theoretical aspects of rationality and …, 2007
702007
A modal characterization of Nash equilibrium
P Harrenstein, W Van der Hoek, JJ Meyer, C Witteveen
Fundamenta Informaticae 57 (2-4), 281-321, 2003
662003
Rational verification: From model checking to equilibrium checking
M Wooldridge, J Gutierrez, P Harrenstein, E Marchioni, G Perelli, A Toumi
Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016
612016
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
562015
A computational analysis of the tournament equilibrium set
F Brandt, F Fischer, P Harrenstein, M Mair
Social Choice and Welfare 34, 597-609, 2010
552010
From model checking to equilibrium checking: Reactive modules for rational verification
J Gutierrez, P Harrenstein, M Wooldridge
Artificial Intelligence 248, 123-157, 2017
472017
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
452017
Set-rationalizable choice and self-stability
F Brandt, P Harrenstein
Journal of Economic Theory 146 (4), 1721-1731, 2011
432011
Monotone cooperative games and their threshold versions
H Aziz, F Brandt, P Harrenstein
Proceedings of the 9th International Conference on Autonomous Agents and …, 2010
372010
Ranking games
F Brandt, F Fischer, P Harrenstein, Y Shoham
Artificial Intelligence 173 (2), 221-239, 2009
362009
Boolean hedonic games
H Aziz, P Harrenstein, J Lang, M Wooldridge
Fifteenth International Conference on the Principles of Knowledge …, 2016
312016
On the rate of convergence of fictitious play
F Brandt, F Fischer, P Harrenstein
Algorithmic Game Theory: Third International Symposium, SAGT 2010, Athens …, 2010
302010
A qualitative Vickrey auction
BP Harrenstein, MM de Weerdt, V Conitzer
Proceedings of the 10th ACM conference on Electronic commerce, 197-206, 2009
302009
Rational verification: game-theoretic verification of multi-agent systems
A Abate, J Gutierrez, L Hammond, P Harrenstein, M Kwiatkowska, M Najib, ...
Applied Intelligence 51 (9), 6569-6584, 2021
292021
The system can't perform the operation now. Try again later.
Articles 1–20