( en | de | ru )

 

Disambiguation of "Hunter, Paul"

Author of the publication

copydeleteadd this publication to your clipboard
Quantitative Games with Interval Objectives.

, and . FSTTCS, volume 29 of LIPIcs, page 365-377. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Julia Hunter

Hunter Rouse

Charles Hunter

Regina Hunter

Aleksandra Hunter

 

Other publications of authors with the same name

LIFO-search: A min-max theorem and a searching game for cycle-rank and tree-depth., , and . Discret. Appl. Math., 160 (15): 2089-2097 (2012)Reactive synthesis without regret., , and . Acta Informatica, 54 (1): 3-39 (2017)Minimizing Regret in Discounted-Sum Games., , and . CoRR, (2015)When is Metric Temporal Logic Expressively Complete?.. CSL, volume 23 of LIPIcs, page 380-394. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)Patent literature project.. JASIS, 23 (5): 335 (1972)Accommodating Real User and Organisational Requirements in the Human Centered Design Process: A Case Study from the Mobile Phone Industry., , and . HCI (10), volume 5619 of Lecture Notes in Computer Science, page 758-764. Springer, (2009)Mean-payoff Games with Incomplete Information., , and . CoRR, (2013)Correction to: Reactive synthesis without regret., , and . Acta Informatica, 59 (5): 671 (2022)Complexity Bounds for Regular Games., and . MFCS, volume 3618 of Lecture Notes in Computer Science, page 495-506. Springer, (2005)Reactive Synthesis Without Regret., , and . CONCUR, volume 42 of LIPIcs, page 114-127. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)