Sylvie Thiébaux

2009
33	EE	Maria Fox, Sylvie Thiébaux: Advances in automated plan generation. Artif. Intell. 173(5-6): 501-502 (2009)
2008
32	EE	Blai Bonet, Patrik Haslum, Sarah L. Hickmott, Sylvie Thiébaux: Directed Unfolding of Petri Nets. T. Petri Nets and Other Models of Concurrency 1: 172-198 (2008)
2007
31		Mark S. Boddy, Maria Fox, Sylvie Thiébaux: Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, ICAPS 2007, Providence, Rhode Island, USA, September 22-26, 2007 AAAI 2007
30		Anika Schumann, Yannick Pencolé, Sylvie Thiébaux: A Spectrum of Symbolic On-line Diagnosis Approaches. AAAI 2007: 335-340
29	EE	Sarah L. Hickmott, Jussi Rintanen, Sylvie Thiébaux, Langford B. White: Planning via Petri Net Unfolding. IJCAI 2007: 1904-1911
28	EE	Elena Kelareva, Olivier Buffet, Jinbo Huang, Sylvie Thiébaux: Factored Planning Using Decomposition Trees. IJCAI 2007: 1942-1947
2006
27		Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh: Estimating Search Tree Size. AAAI 2006
26		Iain Little, Sylvie Thiébaux: Concurrent Probabilistic Planning in the Graphplan Framework. ICAPS 2006: 263-273
25	EE	Sylvain Kerjean, Froduald Kabanza, Richard St.-Denis, Sylvie Thiébaux: Analyzing LTL Model Checking Techniques for Plan Synthesis and Controller Synthesis (Work in Progress). Electr. Notes Theor. Comput. Sci. 149(2): 91-104 (2006)
24	EE	Sylvie Thiébaux, Charles Gretton, John K. Slaney, David Price, Froduald Kabanza: Decision-Theoretic Planning with non-Markovian Rewards. J. Artif. Intell. Res. (JAIR) 25: 17-74 (2006)
23	EE	Jörg Hoffmann, Stefan Edelkamp, Sylvie Thiébaux, Roman Englert, Frederico dos S. Liporace, Sebastian Trüg: Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4. J. Artif. Intell. Res. (JAIR) 26: 453-541 (2006)
2005
22		Iain Little, Douglas Aberdeen, Sylvie Thiébaux: Prottle: A Probabilistic Temporal Planner. AAAI 2005: 1181-1186
21		Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh: Backbones and Backdoors in Satisfiability. AAAI 2005: 1368-1373
20		Froduald Kabanza, Sylvie Thiébaux: Search Control in Planning for Temporally Extended Goals. ICAPS 2005: 130-139
19	EE	Sylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel: In defense of PDDL axioms. Artif. Intell. 168(1-2): 38-69 (2005)
2004
18		Anika Schumann, Yannick Pencolé, Sylvie Thiébaux: Symbolic Models for Diagnosing Discrete-Event Systems. ECAI 2004: 1085-1086
17		Douglas Aberdeen, Sylvie Thiébaux, Lin Zhang: Decision-Theoretic Military Operations Planning. ICAPS 2004: 402-412
16	EE	Charles Gretton, Sylvie Thiébaux: Exploiting First-Order Regression in Inductive Policy Selection. UAI 2004: 217-225
2003
15		Blai Bonet, Sylvie Thiébaux: GPT Meets PSR. ICAPS 2003: 102-112
14		Sylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel: In Defense of PDDL Axioms. IJCAI 2003: 961-968
13		Charles Gretton, David Price, Sylvie Thiébaux: Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards. UAI 2003: 289-296
2002
12		Piergiorgio Bertoli, Alessandro Cimatti, John K. Slaney, Sylvie Thiébaux: Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking. ECAI 2002: 576-580
11		Sylvie Thiébaux, Froduald Kabanza, John K. Slaney: Anytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards. UAI 2002: 501-510
2001
10	EE	John K. Slaney, Sylvie Thiébaux: Blocks World revisited. Artif. Intell. 125(1-2): 119-153 (2001)
2000
9		John K. Slaney, Sylvie Thiébaux, Philip Kilby: Estimating the Hardness of Optimisation. ECAI 2000: 123-130
8		Sylvie Thiébaux, Peter Lamb: Combining Kalman Filtering and Markov Localization in Network-Like Environments. PRICAI 2000: 756-766
1998
7		John K. Slaney, Sylvie Thiébaux: On the Hardness of Decision and Optimisation Problems. ECAI 1998: 244-248
6		Marie-Odile Cordier, Jean-Paul Krivine, Philippe Laborie, Sylvie Thiébaux: Alarm Processing and Reconfiguration in Power Distribution Systems. IEA/AIE (Vol. 2) 1998: 230-241
1996
5		John K. Slaney, Sylvie Thiébaux: Linear Time Near-Optimal Planning in the Blocks World. AAAI/IAAI, Vol. 2 1996: 1208-1214
4	EE	Sylvie Thiébaux, Marie-Odile Cordier, Olivier Jehl, Jean-Paul Krivine: Supply Restoration in Power Distribution Systems: A Case Study in Integrating Model-Based Diagnosis and Repair Planning. UAI 1996: 525-532
1994
3		Joachim Hertzberg, Sylvie Thiébaux: Turning an Action Formalism Into a Planner - Essentials of a Case Study. ISMIS 1994: 305-314
2		Joachim Hertzberg, Sylvie Thiébaux: Turning an Action Formalism into a Planner - A Case Study. J. Log. Comput. 4(5): 617-654 (1994)
1993
1		Sylvie Thiébaux, Joachim Hertzberg, William D. Shoaff, M. Schneider: A Stochastic Model of Actions and Plans for Anytime Planning under Uncertainty. PuK 1993: 51-62

Coauthor Index

1	Douglas Aberdeen	[17] [22]
2	Piergiorgio Bertoli	[12]
3	Mark S. Boddy	[31]
4	Blai Bonet	[15] [32]
5	Olivier Buffet	[28]
6	Alessandro Cimatti	[12]
7	Marie-Odile Cordier	[4] [6]
8	Stefan Edelkamp	[23]
9	Roman Englert	[23]
10	Maria Fox	[31] [33]
11	Charles Gretton	[13] [16] [24]
12	Patrik Haslum	[32]
13	Joachim Hertzberg	[1] [2] [3]
14	Sarah L. Hickmott	[29] [32]
15	Jörg Hoffmann	[14] [19] [23]
16	Jinbo Huang	[28]
17	Olivier Jehl	[4]
18	Froduald Kabanza	[11] [20] [24] [25]
19	Elena Kelareva	[28]
20	Sylvain Kerjean	[25]
21	Philip Kilby	[9] [21] [27]
22	Jean-Paul Krivine	[4] [6]
23	Philippe Laborie	[6]
24	Peter Lamb	[8]
25	Frederico dos S. Liporace	[23]
26	Iain Little	[22] [26]
27	Bernhard Nebel	[14] [19]
28	Yannick Pencolé	[18] [30]
29	David Price	[13] [24]
30	Jussi Rintanen	[29]
31	M. Schneider	[1]
32	Anika Schumann	[18] [30]
33	William D. Shoaff	[1]
34	John K. Slaney	[5] [7] [9] [10] [11] [12] [21] [24] [27]
35	Richard St.-Denis	[25]
36	Sebastian Trüg	[23]
37	Toby Walsh	[21] [27]
38	Langford B. White	[29]
39	Lin Zhang	[17]

Colors in the list of coauthors