S
Sylvie Thiébaux
Researcher at Australian National University
Publications - 125
Citations - 3231
Sylvie Thiébaux is an academic researcher from Australian National University. The author has contributed to research in topics: Probabilistic logic & Heuristics. The author has an hindex of 31, co-authored 121 publications receiving 2782 citations. Previous affiliations of Sylvie Thiébaux include NICTA & Commonwealth Scientific and Industrial Research Organisation.
Papers
More filters
Journal ArticleDOI
Blocks World revisited
John Slaney,Sylvie Thiébaux +1 more
TL;DR: This paper presents a sustained investigation of the (in)famous Blocks World planning problem, and provides the level of understanding required for its effective use as a benchmark, and includes methods for generating random problems for systematic experimentation.
Journal ArticleDOI
Prioritizing Consumers in Smart Grid: A Game Theoretic Approach
TL;DR: It is shown that the single-leader multiple-follower Stackelberg game possesses a socially optimal solution, in which the sum of the benefits to all consumers is maximized, as the total cost to the CPS is minimized.
Journal ArticleDOI
In defense of PDDL axioms
TL;DR: In this paper, the authors propose an adequate semantics for pddl-like axioms and show that they are an essential feature by proving that it is impossible to compile them away if we restrict the growth of plans and domain descriptions to be polynomial.
Proceedings Article
Backbones and backdoors in satisfiability
TL;DR: It is proved that backbones are hard even to approximate, as well as a number of different procedures for computing backdoors, and the correlation between being in the backbone and in a backdoor is studied.
Proceedings Article
Probabilistic planning vs replanning
Iain Little,Sylvie Thiébaux +1 more
TL;DR: A baseline test for probabilistic interestingness is tested, along with some examples of its application, and an analysis of the latest probabilism competition problems is attempted, to suggest some improvements that could be made for future instances of the competition.