Sylvie Thiebaux
Sylvie Thiebaux
Verified email at - Homepage
Cited by
Cited by
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
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
Decision-Theoretic Military Operations Planning.
D Aberdeen, S Thiébaux, L Zhang
ICAPS, 402-412, 2004
Exploiting first-order regression in inductive policy selection
C Gretton, S Thiébaux
arXiv preprint arXiv:1207.4107, 2012
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
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
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
Planning via Petri Net Unfolding.
SL Hickmott, J Rintanen, S Thiébaux, LB White
IJCAI 7, 1904-1911, 2007
Supply restoration in power distribution systems—a benchmark for planning under uncertainty
S Thiébaux, MO Cordier
Sixth European Conference on Planning, 2014
Prottle: A probabilistic temporal planner
I Little, D Aberdeen, S Thiébaux
AAAI 2005, 2005
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
Incremental lower bounds for additive cost planning problems
P Haslum
Twenty-Second International Conference on Automated Planning and Scheduling, 2012
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, 23, 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
AVIATR—aerial vehicle for in-situ and airborne titan reconnaissance
JW Barnes, L Lemke, R Foch, CP McKay, RA Beyer, J Radebaugh, ...
Experimental Astronomy 33 (1), 55-127, 2012
The system can't perform the operation now. Try again later.
Articles 1–20