Paul Hunter

Publication Activity (10 Years)

Years Active: 1972-2022
Publications (10 Years): 6

Top Topics

Nash Equilibrium

Reactive Planning

Games With Incomplete Information

Top Venues

Acta Informatica

Publications

Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
Correction to: Reactive synthesis without regret. Acta Informatica 59 (5) (2022)
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
Looking at mean payoff through foggy windows. Acta Informatica 55 (8) (2018)
Paul Hunter, Arno Pauly, Guillermo A. Pérez, Jean-François Raskin
Mean-payoff games with partial observation. Theor. Comput. Sci. 735 (2018)
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
Reactive synthesis without regret. Acta Informatica 54 (1) (2017)
Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickael Randour, Jean-François Raskin, Ocan Sankur, Mathieu Sassolas
Non-Zero Sum Games for Reactive Synthesis. LATA (2016)
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
Minimizing Regret in Discounted-Sum Games. CSL (2016)
Paul Hunter
Reachability in Succinct One-Counter Games. RP (2015)
Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickael Randour, Jean-François Raskin, Ocan Sankur, Mathieu Sassolas
Non-Zero Sum Games for Reactive Synthesis. CoRR (2015)
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
Reactive Synthesis Without Regret. CoRR (2015)
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
Minimizing Regret in Discounted-Sum Games. CoRR (2015)
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
Reactive Synthesis Without Regret. CONCUR (2015)
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
Looking at Mean-Payoff Through Foggy Windows. ATVA (2015)
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
Looking at Mean-Payoff through Foggy Windows. CoRR (2015)
Timos Antonopoulos, Paul Hunter, Shahab Raza, James Worrell
Three Variables Suffice for Real-Time Logic. FoSSaCS (2015)
Simon Diemert, Kirk Richardson, Paul Hunter, Jens H. Weber, Morgan Price
SmartMed: A Medication Management System to Improve Adherence. ITCH (2015)
Paul Hunter, Jean-François Raskin
Quantitative Games with Interval Objectives. FSTTCS (2014)
Paul Hunter
Reachability in succinct one-counter games. CoRR (2014)
Paul Hunter, Jean-François Raskin
Quantitative games with interval objectives. CoRR (2014)
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
Mean-Payoff Games with Partial-Observation - (Extended Abstract). RP (2014)
Timos Antonopoulos, Paul Hunter, Shahab Raza, James Worrell
Three Variables are Enough for Real-Time Specification. CoRR (2014)
Paul Hunter, Joël Ouaknine, James Worrell
Expressive Completeness for Metric Temporal Logic. LICS (2013)
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
Mean-payoff Games with Incomplete Information. CoRR (2013)
Paul Hunter
When is Metric Temporal Logic Expressively Complete?. CSL (2013)
Archontia C. Giannopoulou, Paul Hunter, Dimitrios M. Thilikos
LIFO-search: A min-max theorem and a searching game for cycle-rank and tree-depth. Discret. Appl. Math. 160 (15) (2012)
Paul Hunter, Joël Ouaknine, James Worrell
Expressive Completeness of Metric Temporal Logic CoRR (2012)
Paul Hunter
The expressiveness of MTL with counting CoRR (2012)
Dietmar Berwanger, Anuj Dawar, Paul Hunter, Stephan Kreutzer, Jan Obdrzálek
The dag-width of directed graphs. J. Comb. Theory, Ser. B 102 (4) (2012)
Paul Hunter, Joël Ouaknine, James Worrell
When is Metric Temporal Logic Expressively Complete? CoRR (2012)
Paul Hunter
LIFO-search on digraphs: A searching game for cycle-rank CoRR (2011)
Paul Hunter
LIFO-Search on Digraphs: A Searching Game for Cycle-Rank. FCT (2011)
Paul Hunter, Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell
Computing Rational Radical Sums in Uniform TC^0. FSTTCS (2010)
Steve Love, Paul Hunter, Michael Anaman
Accommodating Real User and Organisational Requirements in the Human Centered Design Process: A Case Study from the Mobile Phone Industry. HCI (10) (2009)
Paul Hunter, Stephan Kreutzer
Digraph measures: Kelly decompositions, games, and orderings. Theor. Comput. Sci. 399 (3) (2008)
Paul Hunter, Stephan Kreutzer
Digraph measures: Kelly decompositions, games, and orderings. SODA (2007)
Dietmar Berwanger, Anuj Dawar, Paul Hunter, Stephan Kreutzer
DAG-Width and Parity Games. STACS (2006)
Paul Hunter, Anuj Dawar
Complexity Bounds for Regular Games. MFCS (2005)
Paul Hunter
Patent literature project. J. Am. Soc. Inf. Sci. 23 (5) (1972)