关注
Paul Hunter
Paul Hunter
在 unsw.edu.au 的电子邮件经过验证
标题
引用次数
引用次数
年份
Digraph measures: Kelly decompositions, games, and orderings
P Hunter, S Kreutzer
Theoretical Computer Science 399 (3), 206-219, 2008
1832008
DAG-width and parity games
D Berwanger, A Dawar, P Hunter, S Kreutzer
STACS 2006: 23rd Annual Symposium on Theoretical Aspects of Computer Science …, 2006
1692006
The dag-width of directed graphs
D Berwanger, A Dawar, P Hunter, S Kreutzer, J Obdržálek
Journal of Combinatorial Theory, Series B 102 (4), 900-923, 2012
1152012
Complexity bounds for regular games
P Hunter, A Dawar
International Symposium on Mathematical Foundations of Computer Science, 495-506, 2005
562005
Non-zero sum games for reactive synthesis
R Brenguier, L Clemente, P Hunter, GA Pérez, M Randour, JF Raskin, ...
Language and Automata Theory and Applications, 3-23, 2016
522016
Expressive completeness for metric temporal logic
P Hunter, J Ouaknine, J Worrell
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 349-357, 2013
422013
LIFO-search: A min–max theorem and a searching game for cycle-rank and tree-depth
AC Giannopoulou, P Hunter, DM Thilikos
Discrete Applied Mathematics 160 (15), 2089-2097, 2012
362012
Complexity and infinite games on finite graphs
PW Hunter
University of Cambridge, Computer Laboratory, 2007
322007
When is Metric Temporal Logic Expressively Complete?
P Hunter, J Ouaknine, J Worrell
arXiv preprint arXiv:1209.0516, 2012
232012
Reachability in succinct one-counter games
P Hunter
International Workshop on Reachability Problems, 37-49, 2015
212015
Reactive synthesis without regret
P Hunter, GA Pérez, JF Raskin
Acta informatica 54 (1), 3-39, 2017
162017
Losing the+ 1 or directed path-width games are monotone
P Hunter
Unpublished manuscript, Available from the authors webpage, 2006
122006
Quantitative games with interval objectives
P Hunter, JF Raskin
34th International Conference on Foundations of Software Technology and …, 2014
112014
Mean-payoff games with partial-observation
P Hunter, GA Pérez, JF Raskin
Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK …, 2014
112014
D-width and cops and robbers
W Evans, P Hunter, MA Safari
Research report, 2013. unpublished, 2007
102007
Minimizing regret in discounted-sum games
P Hunter, GA Pérez, JF Raskin
arXiv preprint arXiv:1511.00523, 2015
92015
Mean-payoff games with partial observation
P Hunter, A Pauly, GA Pérez, JF Raskin
Theoretical Computer Science 735, 82-110, 2018
72018
Computing Rational Radical Sums in Uniform TC^ 0
P Hunter, P Bouyer, N Markey, J Ouaknine, J Worrell
IARCS Annual Conference on Foundations of Software Technology and …, 2010
72010
Complexity bounds for muller games
P Hunter, A Dawar
Theoretical Computer Science (TCS), 2008
62008
Looking at mean payoff through foggy windows
P Hunter, GA Pérez, JF Raskin
Acta Informatica 55, 627-647, 2018
52018
系统目前无法执行此操作,请稍后再试。
文章 1–20