| 2025 | CP | Understanding the Impact of Value Selection Heuristics in Scheduling Problems. | Tim Luchterhand, Emmanuel Hebrard, Sylvie Thibaux |
| 2025 | ECAI | An Operator-Centric Trustable Decision-Making Tool for Planning Ground Logistic Operations of Beluga Aircraft. | Rebecca Eifler, Nika Beriachvili, Arthur Bit-Monnot, Dillon Z. Chen, Jan Eisenhut, Jrg Hoffmann, Sylvie Thibaux, Florent Teichteil-Knigsbuch |
| 2025 | ECAI | Effective Data Generation and Feature Selection in Learning for Planning. | Mingyu Hao, Dillon Z. Chen, Felipe W. Trevizan, Sylvie Thibaux |
| 2025 | ICAPS | Learning Efficiency Meets Symmetry Breaking. | Yingbin Bai, Sylvie Thibaux, Felipe W. Trevizan |
| 2024 | AAAI | Learning Domain-Independent Heuristics for Grounded and Lifted Planning. | Dillon Ze Chen, Sylvie Thibaux, Felipe W. Trevizan |
| 2024 | ECAI | Decision-Focused Learning to Predict Action Costs for Planning. | Jayanta Mandi, Marco Foschini, Daniel Hller, Sylvie Thibaux, Jrg Hoffmann, Tias Guns |
| 2024 | ICAPS | Return to Tradition: Learning Reliable Heuristics with Classical Machine Learning. | Dillon Z. Chen, Felipe W. Trevizan, Sylvie Thibaux |
| 2024 | ICAPS | Explaining the Space of SSP Policies via Policy-Property Dependencies: Complexity, Algorithms, and Relation to Multi-Objective Planning. | Marcel Steinmetz, Sylvie Thibaux, Daniel Hller, Florent Teichteil-Knigsbuch |
| 2024 | ICAPS | Learning Generalised Policies for Numeric Planning. | Ryan Xiao Wang, Sylvie Thibaux |
| 2024 | ICAPS | Neuro-Symbolic Learning of Lifted Action Models from Visual Traces. | Kai Xi, Stephen Gould, Sylvie Thibaux |
| 2024 | IJCAI | Guiding GBFS through Learned Pairwise Rankings. | Mingyu Hao, Felipe W. Trevizan, Sylvie Thibaux, Patrick Ferber, Jrg Hoffmann |
| 2024 | SoCS | Novelty Heuristics, Multi-Queue Search, and Portfolios for Numeric Planning. | Dillon Z. Chen, Sylvie Thibaux |
| 2023 | AAAI | Heuristic Search for Multi-Objective Probabilistic Planning. | Dillon Ze Chen, Felipe W. Trevizan, Sylvie Thibaux |
| 2023 | IJCAI | Formal Explanations of Neural Network Policies for Planning. | Renee Selvey, Alban Grastien, Sylvie Thibaux |
| 2022 | AIES | Stochastic Policies in Morally Constrained (C-)SSPs. | Charles Evans, Claire Benn, Ignacio Ojea Quintana, Pamela Robinson, Sylvie Thibaux |
| 2021 | AAAI | Progression Heuristics for Planning with Probabilistic LTL Constraints. | Ian Mallett, Sylvie Thibaux, Felipe W. Trevizan |
| 2021 | AIES | Computing Plans that Signal Normative Compliance. | Alban Grastien, Claire Benn, Sylvie Thibaux |
| 2019 | CP | Reward Potentials for Planning with Learned Neural Network Transition Models. | Buser Say, Scott Sanner, Sylvie Thibaux |
| 2019 | SoCS | Guiding Search with Generalized Policies for Probabilistic Planning. | William Shen, Felipe W. Trevizan, Sam Toyer, Sylvie Thibaux, Lexing Xie |
| 2018 | AAAI | Action Schema Networks: Generalised Policies With Deep Learning. | Sam Toyer, Felipe W. Trevizan, Sylvie Thibaux, Lexing Xie |
| 2018 | IJCAI | Operator Counting Heuristics for Probabilistic Planning. | Felipe W. Trevizan, Sylvie Thibaux, Patrik Haslum |
| 2018 | KR | Heuristic Search Planning With Multi-Objective Probabilistic LTL Constraints. | Peter Baumgartner, Sylvie Thibaux, Felipe W. Trevizan |
| 2017 | IJCAI | Landmarks for Numeric Planning Problems. | Enrico Scala, Patrik Haslum, Daniele Magazzeni, Sylvie Thibaux |
| 2017 | IJCAI | I-dual: Solving Constrained SSPs via Heuristic Search in the Dual Space. | Felipe W. Trevizan, Sylvie Thibaux, Pedro Henrique Santana, Brian C. Williams |
| 2017 | UAI | Efficient solutions for Stochastic Shortest Path Problems with Dead Ends. | Felipe W. Trevizan, Florent Teichteil-Knigsbuch, Sylvie Thibaux |
| 2017 | TABLEAUX | Tableaux for Policy Synthesis for MDPs with PCTL* Constraints. | Peter Baumgartner, Sylvie Thibaux, Felipe W. Trevizan |
| 2016 | AAAI | RAO*: An Algorithm for Chance-Constrained POMDP's. | Pedro Henrique de Rodrigues Quemel e Assis Santana, Sylvie Thibaux, Brian Charles Williams |
| 2016 | CP | Online HVAC-Aware Occupancy Scheduling with Adaptive Temperature Control. | BoonPing Lim, Hassan L. Hijazi, Sylvie Thibaux, Menkes van den Briel |
| 2016 | ECAI | Interval-Based Relaxation for General Numeric Planning. | Enrico Scala, Patrik Haslum, Sylvie Thibaux, Miquel Ramrez |
| 2016 | IJCAI | Heuristics for Numeric Planning via Subgoaling. | Enrico Scala, Patrik Haslum, Sylvie Thibaux |
| 2015 | AAAI | HVAC-Aware Occupancy Scheduling. | BoonPing Lim, Menkes van den Briel, Sylvie Thibaux, Scott Backhaus, Russell Bent |
| 2015 | AAAI | HVAC-Aware Occupancy Scheduling. | BoonPing Lim, Menkes van den Briel, Sylvie Thibaux, Scott Backhaus, Russell Bent |
| 2015 | CPAIOR | Large Neighborhood Search for Energy Aware Meeting Scheduling in Smart Buildings. | BoonPing Lim, Menkes van den Briel, Sylvie Thibaux, Russell Bent, Scott Backhaus |
| 2013 | CP | Residential Demand Response under Uncertainty. | Paul Scott, Sylvie Thibaux, Menkes van den Briel, Pascal Van Hentenryck |
| 2013 | IJCAI | Randomized Load Control: A Simple Distributed Approach for Scheduling Smart Appliances. | Menkes van den Briel, Paul Scott, Sylvie Thibaux |
| 2013 | IJCAI | Planning with MIP for Supply Restoration in Power Distribution Systems. | Sylvie Thibaux, Carleton Coffrin, Hassan L. Hijazi, John K. Slaney |
| 2012 | KR | Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice. | Alban Grastien, Patrik Haslum, Sylvie Thibaux |
| 2010 | ECAI | A Decentralised Symbolic Diagnosis Approach. | Anika Schumann, Yannick Pencol, Sylvie Thibaux |
| 2007 | AAAI | A Spectrum of Symbolic On-line Diagnosis Approaches. | Anika Schumann, Yannick Pencol, Sylvie Thibaux |
| 2007 | IJCAI | Planning via Petri Net Unfolding. | Sarah L. Hickmott, Jussi Rintanen, Sylvie Thibaux, Langford B. White |
| 2007 | IJCAI | Factored Planning Using Decomposition Trees. | Elena Kelareva, Olivier Buffet, Jinbo Huang, Sylvie Thibaux |
| 2006 | AAAI | Estimating Search Tree Size. | Philip Kilby, John K. Slaney, Sylvie Thibaux, Toby Walsh |
| 2005 | AAAI | Backbones and Backdoors in Satisfiability. | Philip Kilby, John K. Slaney, Sylvie Thibaux, Toby Walsh |
| 2005 | AAAI | Prottle: A Probabilistic Temporal Planner. | Iain Little, Douglas Aberdeen, Sylvie Thibaux |
| 2004 | ECAI | Symbolic Models for Diagnosing Discrete-Event Systems. | Anika Schumann, Yannick Pencol, Sylvie Thibaux |
| 2004 | UAI | Exploiting First-Order Regression in Inductive Policy Selection. | Charles Gretton, Sylvie Thibaux |
| 2003 | IJCAI | In Defense of PDDL Axioms. | Sylvie Thibaux, Jrg Hoffmann, Bernhard Nebel |
| 2003 | UAI | Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards. | Charles Gretton, David Price, Sylvie Thibaux |
| 2002 | ECAI | Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking. | Piergiorgio Bertoli, Alessandro Cimatti, John K. Slaney, Sylvie Thibaux |
| 2002 | UAI | Anytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards. | Sylvie Thibaux, Froduald Kabanza, John K. Slaney |
| 2000 | ECAI | Estimating the Hardness of Optimisation. | John K. Slaney, Sylvie Thibaux, Philip Kilby |
| 2000 | PRICAI | Combining Kalman Filtering and Markov Localization in Network-Like Environments. | Sylvie Thibaux, Peter Lamb |
| 1998 | ECAI | On the Hardness of Decision and Optimisation Problems. | John K. Slaney, Sylvie Thibaux |
| 1996 | AAAI | Linear Time Near-Optimal Planning in the Blocks World. | John K. Slaney, Sylvie Thibaux |
| 1996 | UAI | Supply Restoration in Power Distribution Systems: A Case Study in Integrating Model-Based Diagnosis and Repair Planning. | Sylvie Thibaux, Marie-Odile Cordier, Olivier Jehl, Jean-Paul Krivine |
| 1994 | ISMIS | Turning an Action Formalism Into a Planner - Essentials of a Case Study. | Joachim Hertzberg, Sylvie Thibaux |