Sylvie Thiebaux
Sylvie Thiebaux
Unknown affiliation
Verified email at
TitleCited byYear
Blocks world revisited
J Slaney, S Thiébaux
Artificial Intelligence 125 (1-2), 119-153, 2001
In defense of PDDL axioms
S Thiébaux, J Hoffmann, B Nebel
Artificial Intelligence 168 (1-2), 38-69, 2005
Backbones and backdoors in satisfiability
P Kilby, J Slaney, S Thiébaux, T Walsh
AAAI 5, 1368-1373, 2005
Probabilistic planning vs. replanning
I Little, S Thiebaux
ICAPS Workshop on IPC: Past, Present and Future, 2007
Decision-Theoretic Military Operations Planning.
D Aberdeen, S Thiébaux, L Zhang
ICAPS, 402-412, 2004
Prioritizing consumers in smart grid: A game theoretic approach
W Tushar, JA Zhang, DB Smith, HV Poor, S Thiébaux
IEEE Transactions on Smart Grid 5 (3), 1429-1438, 2014
Exploiting first-order regression in inductive policy selection
C Gretton, S Thiébaux
Proceedings of the 20th conference on Uncertainty in artificial intelligence …, 2004
Engineering benchmarks for planning: the domains used in the deterministic part of IPC-4
J Hoffmann, S Edelkamp, S Thiébaux, R Englert, F Liporace, S Trüg
Journal of Artificial Intelligence Research 26, 453-541, 2006
Estimating search tree size
P Kilby, J Slaney, S Thiébaux, T Walsh
Proc. of the 21st National Conf. of Artificial Intelligence, AAAI, Menlo Park, 2006
Planning via Petri Net Unfolding.
SL Hickmott, J Rintanen, S Thiébaux, LB White
IJCAI 7, 1904-1911, 2007
Prottle: A probabilistic temporal planner
I Little, D Aberdeen, S Thiébaux
AAAI 2005, 2005
Decision-theoretic planning with non-Markovian rewards
S Thiébaux, C Gretton, J Slaney, D Price, F Kabanza
Journal of Artificial Intelligence Research 25, 17-74, 2006
Supply restoration in power distribution systems—a benchmark for planning under uncertainty
S Thiébaux, MO Cordier
Sixth European Conference on Planning, 2014
Residential demand response under uncertainty
P Scott, S Thiébaux, M Van Den Briel, P Van Hentenryck
International Conference on Principles and Practice of Constraint …, 2013
Event-based diagnosis for evolutive systems
MO Cordier, S Thiébaux
IRISA, 1994
Concurrent Probabilistic Planning in the Graphplan Framework.
I Little, S Thiebaux
ICAPS, 263-273, 2006
Solving power supply restoration problems with planning via symbolic model checking
P Bertoli, A Cimatti, J Slaney, S Thiebaux
AIPS-02 Workshop on Planning via Model-Checking, 576-580, 2002
Cost-optimal factored planning: Promises and pitfalls
E Fabre, L Jezequel, P Haslum, S Thiébaux
Twentieth International Conference on Automated Planning and Scheduling, 2010
Incremental lower bounds for additive cost planning problems
P Haslum
Twenty-Second International Conference on Automated Planning and Scheduling, 2012
Factored Planning Using Decomposition Trees.
E Kelareva, O Buffet, J Huang, S Thiébaux
IJCAI, 1942-1947, 2007
The system can't perform the operation now. Try again later.
Articles 1–20