Sylvie Thiébaux

135 papers A* 46A 18B 5C 3Journal 51Unranked 10

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Exploring Plan Space through Conversation: An Agentic Framework for LLM-Mediated Explanations in Planning. CoRR Guilhem Fouilhé, Rebecca Eifler, Antonin Poché, Sylvie Thiébaux, Nicholas Asher
2026	J	`jnl`	On the Ability of Transformers to Verify Plans. CoRR Yash Raj Sarrof, Yupei Du, Katharina Stein, Alexander Koller, Sylvie Thiébaux, Michael Hahn
2025	A	`conf`	An Operator-Centric Trustable Decision-Making Tool for Planning Ground Logistic Operations of Beluga Aircraft. ECAI Rebecca Eifler, Nika Beriachvili, Arthur Bit-Monnot, Dillon Z. Chen, Jan Eisenhut, Jörg Hoffmann, Sylvie Thiébaux, Florent Teichteil-Königsbuch
2025	A	`conf`	Effective Data Generation and Feature Selection in Learning for Planning. ECAI Mingyu Hao, Dillon Z. Chen, Felipe W. Trevizan, Sylvie Thiébaux
2025	J	`jnl`	Learning Efficiency Meets Symmetry Breaking. CoRR Yingbin Bai, Sylvie Thiébaux, Felipe W. Trevizan
2025	A	`conf`	Understanding the Impact of Value Selection Heuristics in Scheduling Problems. CP Tim Luchterhand, Emmanuel Hebrard, Sylvie Thiébaux
2024	J	`jnl`	AI Planning: A Primer and Survey (Preliminary Report). CoRR Dillon Z. Chen, Pulkit Verma, Siddharth Srivastava, Michael Katz, Sylvie Thiébaux
2024	A	`conf`	Decision-Focused Learning to Predict Action Costs for Planning. ECAI Jayanta Mandi, Marco Foschini, Daniel Höller, Sylvie Thiébaux, Jörg Hoffmann, Tias Guns
2024	J	`jnl`	Decision-Focused Learning to Predict Action Costs for Planning. CoRR Jayanta Mandi, Marco Foschini, Daniel Höller, Sylvie Thiébaux, Jörg Hoffmann, Tias Guns
2024	A*	`conf`	Explaining the Space of SSP Policies via Policy-Property Dependencies: Complexity, Algorithms, and Relation to Multi-Objective Planning. ICAPS Marcel Steinmetz, Sylvie Thiébaux, Daniel Höller, Florent Teichteil-Königsbuch
2024	A*	`conf`	Graph Learning for Numeric Planning. NeurIPS Dillon Z. Chen, Sylvie Thiébaux
2024	J	`jnl`	Graph Learning for Numeric Planning. CoRR Dillon Z. Chen, Sylvie Thiébaux
2024	J	`jnl`	Graph Learning for Planning: The Story Thus Far and Open Challenges. CoRR Dillon Z. Chen, Mingyu Hao, Sylvie Thiébaux, Felipe W. Trevizan
2024	A*	`conf`	Guiding GBFS through Learned Pairwise Rankings. IJCAI Mingyu Hao, Felipe W. Trevizan, Sylvie Thiébaux, Patrick Ferber, Jörg Hoffmann
2024	A*	`conf`	Learning Domain-Independent Heuristics for Grounded and Lifted Planning. AAAI Dillon Ze Chen, Sylvie Thiébaux, Felipe W. Trevizan
2024	A*	`conf`	Learning Generalised Policies for Numeric Planning. ICAPS Ryan Xiao Wang, Sylvie Thiébaux
2024	A*	`conf`	Neuro-Symbolic Learning of Lifted Action Models from Visual Traces. ICAPS Kai Xi, Stephen Gould, Sylvie Thiébaux
2024	B	`conf`	Novelty Heuristics, Multi-Queue Search, and Portfolios for Numeric Planning. SOCS Dillon Z. Chen, Sylvie Thiébaux
2024	J	`jnl`	Novelty Heuristics, Multi-Queue Search, and Portfolios for Numeric Planning. CoRR Dillon Z. Chen, Sylvie Thiébaux
2024	A*	`conf`	Return to Tradition: Learning Reliable Heuristics with Classical Machine Learning. ICAPS Dillon Z. Chen, Felipe W. Trevizan, Sylvie Thiébaux
2024	J	`jnl`	Return to Tradition: Learning Reliable Heuristics with Classical Machine Learning. CoRR Dillon Ze Chen, Felipe W. Trevizan, Sylvie Thiébaux
2024	—	`conf`	Trustworthiness of AI in Planning and Scheduling: The Experience of the TUPLES Project. DSA ISC (2) Angelo Gordini, Matteo Pozzi, Michele Lombardi, Thomas Sergeys, Tias Guns, Andrea De Cesarei, Sofia Morandini, Sylvie Thiébaux
2023	J	`jnl`	A More General Theory of Diagnosis from First Principles. CoRR Alban Grastien, Patrik Haslum, Sylvie Thiébaux
2023	A*	`conf`	Fast and Robust Resource-Constrained Scheduling with Graph Neural Networks. ICAPS Florent Teichteil-Königsbuch, Guillaume Povéda, Guillermo González de Garibay Barba, Tim Luchterhand, Sylvie Thiébaux
2023	A*	`conf`	Formal Explanations of Neural Network Policies for Planning. IJCAI Renee Selvey, Alban Grastien, Sylvie Thiébaux
2023	A*	`conf`	Heuristic Search for Multi-Objective Probabilistic Planning. AAAI Dillon Ze Chen, Felipe W. Trevizan, Sylvie Thiébaux
2023	J	`jnl`	Heuristic Search for Multi-Objective Probabilistic Planning. CoRR Dillon Ze Chen, Felipe W. Trevizan, Sylvie Thiébaux
2023	J	`jnl`	Learning Domain-Independent Heuristics for Grounded and Lifted Planning. CoRR Dillon Ze Chen, Sylvie Thiébaux, Felipe W. Trevizan
2022	A*	`conf`	Admissible Heuristics for Multi-Objective Planning. ICAPS Florian Geißer, Patrik Haslum, Sylvie Thiébaux, Felipe W. Trevizan
2022	J	`jnl`	Network-Secure Envelopes Enabling Reliable DER Bidding in Energy and Reserve Markets. IEEE Trans. Smart Grid Ahmad Attarha, S. Mahdi Noori R. A., Paul Scott, Sylvie Thiébaux
2022	A*	`conf`	Preface. ICAPS Sylvie Thiébaux, William Yeoh, Akshat Kumar, Pradeep Varakantham
2022	A*	`ed.`	Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, Singapore (virtual), June 13-24, 2022 ICAPS Akshat Kumar, Sylvie Thiébaux, Pradeep Varakantham, William Yeoh
2022	C	`conf`	Stochastic Policies in Morally Constrained (C-)SSPs. AIES Charles Evans, Claire Benn, Ignacio Ojea Quintana, Pamela Robinson, Sylvie Thiébaux
2021	C	`conf`	Computing Plans that Signal Normative Compliance. AIES Alban Grastien, Claire Benn, Sylvie Thiébaux
2021	J	`jnl`	Network-Secure and Price-Elastic Aggregator Bidding in Energy and Reserve Markets. IEEE Trans. Smart Grid Ahmad Attarha, Paul Scott, José Iria, Sylvie Thiébaux
2021	A*	`conf`	Progression Heuristics for Planning with Probabilistic LTL Constraints. AAAI Ian Mallett, Sylvie Thiébaux, Felipe W. Trevizan
2021	J	`jnl`	SmartGridToolbox: A Library for Simulating Modern and Future Electricity Networks. CoRR Dan Gordon, Paul Scott, Sylvie Thiébaux
2020	J	`jnl`	ASNets: Deep Learning for Generalised Planning. J. Artif. Intell. Res. Sam Toyer, Sylvie Thiébaux, Felipe W. Trevizan, Lexing Xie
2020	J	`jnl`	Affinely Adjustable Robust ADMM for Residential DER Coordination in Distribution Networks. IEEE Trans. Smart Grid Ahmad Attarha, Paul Scott, Sylvie Thiébaux
2020	A*	`conf`	Learning Domain-Independent Planning Heuristics with Hypergraph Networks. ICAPS William Shen, Felipe W. Trevizan, Sylvie Thiébaux
2020	—	`conf`	Network-aware Participation of Aggregators in NEM Energy and FCAS Markets. e-Energy Ahmad Attarha, Paul Scott, Sylvie Thiébaux
2020	A*	`conf`	Optimal and Heuristic Approaches for Constrained Flight Planning under Weather Uncertainty. ICAPS Florian Geißer, Guillaume Povéda, Felipe W. Trevizan, Manon Bondouy, Florent Teichteil-Königsbuch, Sylvie Thiébaux
2020	J	`jnl`	Subgoaling Techniques for Satisficing and Optimal Numeric Planning. J. Artif. Intell. Res. Enrico Scala, Patrik Haslum, Sylvie Thiébaux, Miquel Ramírez
2019	J	`jnl`	ASNets: Deep Learning for Generalised Planning. CoRR Sam Toyer, Felipe W. Trevizan, Sylvie Thiébaux, Lexing Xie
2019	B	`conf`	Guiding Search with Generalized Policies for Probabilistic Planning. SOCS William Shen, Felipe W. Trevizan, Sam Toyer, Sylvie Thiébaux, Lexing Xie
2019	J	`jnl`	Identification of Manipulation in Receding Horizon Electricity Markets. IEEE Trans. Smart Grid Paul Scott, Sylvie Thiébaux
2019	J	`jnl`	Learning Domain-Independent Planning Heuristics with Hypergraph Networks. CoRR William Shen, Felipe W. Trevizan, Sylvie Thiébaux
2019	J	`jnl`	Network-Aware Coordination of Residential Distributed Energy Resources. IEEE Trans. Smart Grid Paul Scott, Dan Gordon, Evan Franklin, Laura Jones, Sylvie Thiébaux
2019	A	`conf`	Reward Potentials for Planning with Learned Neural Network Transition Models. CP Buser Say, Scott Sanner, Sylvie Thiébaux
2019	J	`jnl`	Reward Potentials for Planning with Learned Neural Network Transition Models. CoRR Buser Say, Scott Sanner, Sylvie Thiébaux
2018	A*	`conf`	Action Schema Networks: Generalised Policies With Deep Learning. AAAI Sam Toyer, Felipe W. Trevizan, Sylvie Thiébaux, Lexing Xie
2018	J	`jnl`	Extending Classical Planning with State Constraints: Heuristics and Search for Optimal Planning. J. Artif. Intell. Res. Patrik Haslum, Franc Ivankovic, Miquel Ramírez, Dan Gordon, Sylvie Thiébaux, Vikas Shivashankar, Dana S. Nau
2018	A*	`conf`	Heuristic Search Planning With Multi-Objective Probabilistic LTL Constraints. KR Peter Baumgartner, Sylvie Thiébaux, Felipe W. Trevizan
2018	A*	`conf`	Operator Counting Heuristics for Probabilistic Planning. IJCAI Felipe W. Trevizan, Sylvie Thiébaux, Patrik Haslum
2017	J	`jnl`	Action Schema Networks: Generalised Policies with Deep Learning. CoRR Sam Toyer, Felipe W. Trevizan, Sylvie Thiébaux, Lexing Xie
2017	A	`conf`	Efficient solutions for Stochastic Shortest Path Problems with Dead Ends. UAI Felipe W. Trevizan, Florent Teichteil-Königsbuch, Sylvie Thiébaux
2017	A*	`conf`	I-dual: Solving Constrained SSPs via Heuristic Search in the Dual Space. IJCAI Felipe W. Trevizan, Sylvie Thiébaux, Pedro Henrique Santana, Brian C. Williams
2017	A*	`conf`	Landmarks for Numeric Planning Problems. IJCAI Enrico Scala, Patrik Haslum, Daniele Magazzeni, Sylvie Thiébaux
2017	J	`jnl`	Numerical Integration and Dynamic Discretization in Heuristic Search Planning over Hybrid Domains. CoRR Miquel Ramírez, Enrico Scala, Patrik Haslum, Sylvie Thiébaux
2017	A*	`conf`	Occupation Measure Heuristics for Probabilistic Planning. ICAPS Felipe W. Trevizan, Sylvie Thiébaux, Patrik Haslum
2017	B	`conf`	Tableaux for Policy Synthesis for MDPs with PCTL* Constraints. TABLEAUX Peter Baumgartner, Sylvie Thiébaux, Felipe W. Trevizan
2017	J	`jnl`	Tableaux for Policy Synthesis for MDPs with PCTL* Constraints. CoRR Peter Baumgartner, Sylvie Thiébaux, Felipe W. Trevizan
2016	—	`ed.`	AI for Smart Grids and Smart Buildings, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016. AAAI Workshop: AI for Smart Grids and Smart Buildings Enrico Pontelli, Alex Rogers, Sylvie Thiébaux, Tran Cao Son
2016	A*	`conf`	Heuristic Search in Dual Space for Constrained Stochastic Shortest Path Problems. ICAPS Felipe W. Trevizan, Sylvie Thiébaux, Pedro Henrique Santana, Brian Charles Williams
2016	A*	`conf`	Heuristics for Numeric Planning via Subgoaling. IJCAI Enrico Scala, Patrik Haslum, Sylvie Thiébaux
2016	A	`conf`	Interval-Based Relaxation for General Numeric Planning. ECAI Enrico Scala, Patrik Haslum, Sylvie Thiébaux, Miquel Ramírez
2016	A*	`conf`	Numeric Planning with Disjunctive Global Constraints via SMT. ICAPS Enrico Scala, Miquel Ramírez, Patrik Haslum, Sylvie Thiébaux
2016	A	`conf`	Online HVAC-Aware Occupancy Scheduling with Adaptive Temperature Control. CP BoonPing Lim, Hassan L. Hijazi, Sylvie Thiébaux, Menkes van den Briel
2016	—	`ed.`	Planning for Hybrid Systems, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 13, 2016. AAAI Workshop: Planning for Hybrid Systems Daniele Magazzeni, Scott Sanner, Sylvie Thiébaux
2016	A*	`conf`	RAO*: An Algorithm for Chance-Constrained POMDP's. AAAI Pedro Henrique de Rodrigues Quemel e Assis Santana, Sylvie Thiébaux, Brian Charles Williams
2016	J	`jnl`	Reports of the 2016 AAAI Workshop Program. AI Mag. Stefano V. Albrecht, Bruno Bouchard, John S. Brownstein, David L. Buckeridge, Cornelia Caragea, Kevin M. Carter, Adnan Darwiche, Blaz Fortuna, Yannick Francillette, Sébastien Gaboury, C. Lee Giles, Marko Grobelnik, Estevam R. Hruschka Jr., Jeffrey O. Kephart, Parisa Kordjamshidi, Viliam Lisý, Daniele Magazzeni, João Marques-Silva, Pierre Marquis, David R. Martinez, Marek P. Michalowski, Arash Shaban-Nejad, Zeinab Noorian, Enrico Pontelli, Alex Rogers, Stephanie Rosenthal, Dan Roth, Arunesh Sinha, William W. Streilein, Sylvie Thiébaux, Tran Cao Son, Byron C. Wallace, Toby Walsh, Michael Witbrock, Jie Zhang
2015	—	`conf`	Distributed Multi-Period Optimal Power Flow for Demand Response in Microgrids. e-Energy Paul Scott, Sylvie Thiébaux
2015	A*	`conf`	HVAC-Aware Occupancy Scheduling. AAAI BoonPing Lim, Menkes van den Briel, Sylvie Thiébaux, Scott Backhaus, Russell Bent
2015	—	`conf`	HVAC-Aware Occupancy Scheduling. AAAI Workshop: AI for Cities BoonPing Lim, Menkes van den Briel, Sylvie Thiébaux, Scott Backhaus, Russell Bent
2015	B	`conf`	Large Neighborhood Search for Energy Aware Meeting Scheduling in Smart Buildings. CPAIOR BoonPing Lim, Menkes van den Briel, Sylvie Thiébaux, Russell Bent, Scott Backhaus
2015	J	`jnl`	Reports from the 2015 AAAI Workshop Program. AI Mag. Stefano V. Albrecht, J. Christopher Beck, David L. Buckeridge, Adi Botea, Cornelia Caragea, Chi-Hung Chi, Theodoros Damoulas, Bistra Dilkina, Eric Eaton, Pooyan Fazli, Sam Ganzfried, Marius Lindauer, Marlos C. Machado, Yuri Malitsky, Gary Marcus, Sebastiaan A. Meijer, Francesca Rossi, Arash Shaban-Nejad, Sylvie Thiébaux, Manuela M. Veloso, Toby Walsh, Can Wang, Jie Zhang, Yu Zheng
2014	J	`jnl`	Dynamic Optimal Power Flow in Microgrids using the Alternating Direction Method of Multipliers. CoRR Paul Scott, Sylvie Thiébaux
2014	—	`conf`	Optimal AC Distribution Systems Reconfiguration. PSCC Hassan L. Hijazi, Sylvie Thiébaux
2014	A*	`conf`	Optimal Planning with Global Numerical State Constraints. ICAPS Franc Ivankovic, Patrik Haslum, Sylvie Thiébaux, Vikas Shivashankar, Dana S. Nau
2014	J	`jnl`	Prioritizing Consumers in Smart Grid: A Game Theoretic Approach. IEEE Trans. Smart Grid Wayes Tushar, Jian A. Zhang, David B. Smith, H. Vincent Poor, Sylvie Thiébaux
2014	J	`jnl`	Recent advances in unfolding technique. Theor. Comput. Sci. Blai Bonet, Patrik Haslum, Victor Khomenko, Sylvie Thiébaux, Walter Vogler
2013	J	`jnl`	Anytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards CoRR Sylvie Thiébaux, Froduald Kabanza, John K. Slaney
2013	A*	`conf`	Planning with MIP for Supply Restoration in Power Distribution Systems. IJCAI Sylvie Thiébaux, Carleton Coffrin, Hassan L. Hijazi, John K. Slaney
2013	J	`jnl`	Prioritizing Consumers in Smart Grid: A Game Theoretic Approach. CoRR Wayes Tushar, Jian A. Zhang, David B. Smith, H. Vincent Poor, Sylvie Thiébaux
2013	J	`jnl`	Prioritizing Consumers in Smart Grid: Energy Management Using Game Theory CoRR Wayes Tushar, Jian Andrew Zhang, David B. Smith, Sylvie Thiébaux, H. Vincent Poor
2013	—	`conf`	Prioritizing consumers in smart grid: Energy management using game theory. ICC Wayes Tushar, Jian A. Zhang, David B. Smith, Sylvie Thiébaux, H. Vincent Poor
2013	A*	`conf`	Randomized Load Control: A Simple Distributed Approach for Scheduling Smart Appliances. IJCAI Menkes van den Briel, Paul Scott, Sylvie Thiébaux
2013	A	`conf`	Residential Demand Response under Uncertainty. CP Paul Scott, Sylvie Thiébaux, Menkes van den Briel, Pascal Van Hentenryck
2013	J	`jnl`	Supply Restoration in Power Distribution Systems - A Case Study in Integrating Model-Based Diagnosis and Repair Planning CoRR Sylvie Thiébaux, Marie-Odile Cordier, Olivier Jehl, Jean-Paul Krivine
2012	J	`jnl`	AI@NICTA. AI Mag. Nick Barnes, Peter Baumgartner, Tibério S. Caetano, Hugh F. Durrant-Whyte, Gerwin Klein, Penelope Sanderson, Abdul Sattar, Peter J. Stuckey, Sylvie Thiébaux, Pascal Van Hentenryck, Toby Walsh
2012	A*	`conf`	CP and MIP Methods for Ship Scheduling with Time-Varying Draft. ICAPS Elena Kelareva, Sebastian Brand, Philip Kilby, Sylvie Thiébaux, Mark Wallace
2012	A*	`conf`	Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice. KR Alban Grastien, Patrik Haslum, Sylvie Thiébaux
2012	J	`jnl`	Exploiting First-Order Regression in Inductive Policy Selection CoRR Charles Gretton, Sylvie Thiébaux
2012	J	`jnl`	Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards CoRR Charles Gretton, David Price, Sylvie Thiébaux
2012	A*	`conf`	Minimal Landmarks for Optimal Delete-Free Planning. ICAPS Patrik Haslum, John K. Slaney, Sylvie Thiébaux
2011	J	`jnl`	Decision-Theoretic Planning with non-Markovian Rewards CoRR Charles Gretton, Froduald Kabanza, David Price, John K. Slaney, Sylvie Thiébaux
2011	J	`jnl`	Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4 CoRR Stefan Edelkamp, Roman Englert, Jörg Hoffmann, Frederico dos S. Liporace, Sylvie Thiébaux, Sebastian Trüg
2010	A	`conf`	A Decentralised Symbolic Diagnosis Approach. ECAI Anika Schumann, Yannick Pencolé, Sylvie Thiébaux
2010	A*	`conf`	Cost-Optimal Factored Planning: Promises and Pitfalls. ICAPS Eric Fabre, Loïg Jezequel, Patrik Haslum, Sylvie Thiébaux
2009	J	`jnl`	Advances in automated plan generation. Artif. Intell. Maria Fox, Sylvie Thiébaux
2008	J	`jnl`	Directed Unfolding of Petri Nets. Trans. Petri Nets Other Model. Concurr. Blai Bonet, Patrik Haslum, Sarah L. Hickmott, Sylvie Thiébaux
2008	J	`jnl`	The Seventeenth International Conference on Automated Planning and Scheduling (ICAPS-07). AI Mag. Mark S. Boddy, Maria Fox, Sylvie Thiébaux
2007	A*	`conf`	A Spectrum of Symbolic On-line Diagnosis Approaches. AAAI Anika Schumann, Yannick Pencolé, Sylvie Thiébaux
2007	A*	`conf`	Factored Planning Using Decomposition Trees. IJCAI Elena Kelareva, Olivier Buffet, Jinbo Huang, Sylvie Thiébaux
2007	A*	`conf`	Planning via Petri Net Unfolding. IJCAI Sarah L. Hickmott, Jussi Rintanen, Sylvie Thiébaux, Langford B. White
2007	A*	`ed.`	Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, ICAPS 2007, Providence, Rhode Island, USA, September 22-26, 2007 ICAPS Mark S. Boddy, Maria Fox, Sylvie Thiébaux
2006	A*	`conf`	Concurrent Probabilistic Planning in the Graphplan Framework. ICAPS Iain Little, Sylvie Thiébaux
2006	J	`jnl`	Decision-Theoretic Planning with non-Markovian Rewards. J. Artif. Intell. Res. Sylvie Thiébaux, Charles Gretton, John K. Slaney, David Price, Froduald Kabanza
2006	J	`jnl`	Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4. J. Artif. Intell. Res. Jörg Hoffmann, Stefan Edelkamp, Sylvie Thiébaux, Roman Englert, Frederico dos S. Liporace, Sebastian Trüg
2006	A*	`conf`	Estimating Search Tree Size. AAAI Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh
2005	—	`conf`	Analyzing LTL Model Checking Techniques for Plan Synthesis and Controller Synthesis (Work in Progress). MoChArt@CONCUR/SPIN Sylvain Kerjean, Froduald Kabanza, Richard St-Denis, Sylvie Thiébaux
2005	A*	`conf`	Backbones and Backdoors in Satisfiability. AAAI Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh
2005	J	`jnl`	In defense of PDDL axioms. Artif. Intell. Sylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel
2005	A*	`conf`	Prottle: A Probabilistic Temporal Planner. AAAI Iain Little, Douglas Aberdeen, Sylvie Thiébaux
2005	A*	`conf`	Search Control in Planning for Temporally Extended Goals. ICAPS Froduald Kabanza, Sylvie Thiébaux
2004	A*	`conf`	Decision-Theoretic Military Operations Planning. ICAPS Douglas Aberdeen, Sylvie Thiébaux, Lin Zhang
2004	A	`conf`	Exploiting First-Order Regression in Inductive Policy Selection. UAI Charles Gretton, Sylvie Thiébaux
2004	A	`conf`	Symbolic Models for Diagnosing Discrete-Event Systems. ECAI Anika Schumann, Yannick Pencolé, Sylvie Thiébaux
2003	J	`jnl`	An Automated Itinerary Planning System for Holiday Travel. J. Inf. Technol. Tour. Simon Dunstall, Mark E. T. Horn, Philip Kilby, Mohan Krishnamoorthy, Bowie Owens, David Sier, Sylvie Thiébaux
2003	A*	`conf`	GPT Meets PSR. ICAPS Blai Bonet, Sylvie Thiébaux
2003	A	`conf`	Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards. UAI Charles Gretton, David Price, Sylvie Thiébaux
2003	A*	`conf`	In Defense of PDDL Axioms. IJCAI Sylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel
2002	A	`conf`	Anytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards. UAI Sylvie Thiébaux, Froduald Kabanza, John K. Slaney
2002	A	`conf`	Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking. ECAI Piergiorgio Bertoli, Alessandro Cimatti, John K. Slaney, Sylvie Thiébaux
2001	J	`jnl`	Blocks World revisited. Artif. Intell. John K. Slaney, Sylvie Thiébaux
2000	B	`conf`	Combining Kalman Filtering and Markov Localization in Network-Like Environments. PRICAI Sylvie Thiébaux, Peter Lamb
2000	A	`conf`	Estimating the Hardness of Optimisation. ECAI John K. Slaney, Sylvie Thiébaux, Philip Kilby
1998	—	`conf`	Alarm Processing and Reconfiguration in Power Distribution Systems. IEA/AIE (Vol. 2) Marie-Odile Cordier, Jean-Paul Krivine, Philippe Laborie, Sylvie Thiébaux
1998	A	`conf`	On the Hardness of Decision and Optimisation Problems. ECAI John K. Slaney, Sylvie Thiébaux
1996	—	`conf`	Linear Time Near-Optimal Planning in the Blocks World. AAAI/IAAI, Vol. 2 John K. Slaney, Sylvie Thiébaux
1996	A	`conf`	Supply Restoration in Power Distribution Systems: A Case Study in Integrating Model-Based Diagnosis and Repair Planning. UAI Sylvie Thiébaux, Marie-Odile Cordier, Olivier Jehl, Jean-Paul Krivine
1995	J	`jnl`	A stochastic model of actions and plans for anytime planning under uncertainty. Int. J. Intell. Syst. Sylvie Thiébaux, Joachim Hertzberg, William D. Shoaff, Moti Schneider
1994	C	`conf`	Turning an Action Formalism Into a Planner - Essentials of a Case Study. ISMIS Joachim Hertzberg, Sylvie Thiébaux
1994	J	`jnl`	Turning an Action Formalism into a Planner - A Case Study. J. Log. Comput. Joachim Hertzberg, Sylvie Thiébaux
1993	—	`conf`	A Stochastic Model of Actions and Plans for Anytime Planning under Uncertainty. PuK Sylvie Thiébaux, Joachim Hertzberg, William D. Shoaff, Moti Schneider