( en | de | ru )

 

Disambiguation of "Hunter, Paul"

Author of the publication

copydeleteadd this publication to your clipboard
Correction to: Reactive synthesis without regret.

, , and . Acta Informatica, 59 (5): 671 (2022)

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

Patent literature project.. JASIS, 23 (5): 335 (1972)Mean-payoff Games with Incomplete Information., , and . CoRR, (2013)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)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)Minimizing Regret in Discounted-Sum Games., , and . CoRR, (2015)Reactive synthesis without regret., , and . Acta Informatica, 54 (1): 3-39 (2017)When is Metric Temporal Logic Expressively Complete?.. CSL, volume 23 of LIPIcs, page 380-394. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)Complexity Bounds for Regular Games., and . MFCS, volume 3618 of Lecture Notes in Computer Science, page 495-506. Springer, (2005)Correction to: Reactive synthesis without regret., , and . Acta Informatica, 59 (5): 671 (2022)Reactive Synthesis Without Regret., , and . CONCUR, volume 42 of LIPIcs, page 114-127. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)