Turning an Action Formalism Into a Planner - Essentials of a Case Study. - Joachim Hertzberg; Sylvie Thiébaux (ISMIS, 1994)

Turning an Action Formalism into a Planner - A Case Study. - Joachim Hertzberg; Sylvie Thiébaux (J. Log. Comput., 1994)

A stochastic model of actions and plans for anytime planning under uncertainty. - Sylvie Thiébaux; Joachim Hertzberg; William D. Shoaff; Moti Schneider (Int. J. Intell. Syst., 1995)

Linear Time Near-Optimal Planning in the Blocks World. - John K. Slaney; Sylvie Thiébaux (AAAI/IAAI, Vol. 2, 1996)

Supply Restoration in Power Distribution Systems: A Case Study in Integrating Model-Based Diagnosis and Repair Planning. - Sylvie Thiébaux; Marie-Odile Cordier; Olivier Jehl; Jean-Paul Krivine (UAI, 1996)

On the Hardness of Decision and Optimisation Problems. - John K. Slaney; Sylvie Thiébaux (ECAI, 1998)

Alarm Processing and Reconfiguration in Power Distribution Systems. - Marie-Odile Cordier; Jean-Paul Krivine; Philippe Laborie; Sylvie Thiébaux (IEA/AIE (Vol. 2), 1998)

Estimating the Hardness of Optimisation. - John K. Slaney; Sylvie Thiébaux; Philip Kilby (ECAI, 2000)

Combining Kalman Filtering and Markov Localization in Network-Like Environments. - Sylvie Thiébaux; Peter Lamb (PRICAI, 2000)

Blocks World revisited. - John K. Slaney; Sylvie Thiébaux (Artif. Intell., 2001)

Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking. - Piergiorgio Bertoli; Alessandro Cimatti; John K. Slaney; Sylvie Thiébaux (ECAI, 2002)

Anytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards. - Sylvie Thiébaux; Froduald Kabanza; John K. Slaney (UAI, 2002)

GPT Meets PSR. - Blai Bonet; Sylvie Thiébaux (ICAPS, 2003)

Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards. - Charles Gretton; David Price; Sylvie Thiébaux (UAI, 2003)

An Automated Itinerary Planning System for Holiday Travel. - Simon Dunstall; Mark E. T. Horn; Philip Kilby; Mohan Krishnamoorthy; Bowie Owens; David Sier; Sylvie Thiébaux (J. Inf. Technol. Tour., 2003)

Decision-Theoretic Military Operations Planning. - Douglas Aberdeen; Sylvie Thiébaux; Lin Zhang (ICAPS, 2004)

Symbolic Models for Diagnosing Discrete-Event Systems. - Anika Schumann; Yannick Pencolé; Sylvie Thiébaux (ECAI, 2004)

Exploiting First-Order Regression in Inductive Policy Selection. - Charles Gretton; Sylvie Thiébaux (UAI, 2004)

Backbones and Backdoors in Satisfiability. - Philip Kilby; John K. Slaney; Sylvie Thiébaux; Toby Walsh (AAAI, 2005)

Prottle: A Probabilistic Temporal Planner. - Iain Little; Douglas Aberdeen; Sylvie Thiébaux (AAAI, 2005)

Search Control in Planning for Temporally Extended Goals. - Froduald Kabanza; Sylvie Thiébaux (ICAPS, 2005)

In defense of PDDL axioms. - Sylvie Thiébaux; Jörg Hoffmann 001; Bernhard Nebel (Artif. Intell., 2005)

Analyzing LTL Model Checking Techniques for Plan Synthesis and Controller Synthesis (Work in Progress). - Sylvain Kerjean; Froduald Kabanza; Richard St-Denis; Sylvie Thiébaux (MoChArt@CONCUR/SPIN, 2005)

Estimating Search Tree Size. - Philip Kilby; John K. Slaney; Sylvie Thiébaux; Toby Walsh (AAAI, 2006)

Concurrent Probabilistic Planning in the Graphplan Framework. - Iain Little; Sylvie Thiébaux (ICAPS, 2006)

Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4. - Jörg Hoffmann 001; Stefan Edelkamp; Sylvie Thiébaux; Roman Englert; Frederico dos S. Liporace; Sebastian Trüg (J. Artif. Intell. Res., 2006)

Decision-Theoretic Planning with non-Markovian Rewards. - Sylvie Thiébaux; Charles Gretton; John K. Slaney; David Price; Froduald Kabanza (J. Artif. Intell. Res., 2006)

A Spectrum of Symbolic On-line Diagnosis Approaches. - Anika Schumann; Yannick Pencolé; Sylvie Thiébaux (AAAI, 2007)

Planning via Petri Net Unfolding. - Sarah L. Hickmott; Jussi Rintanen; Sylvie Thiébaux; Langford B. White (IJCAI, 2007)

Factored Planning Using Decomposition Trees. - Elena Kelareva; Olivier Buffet; Jinbo Huang; Sylvie Thiébaux (IJCAI, 2007)

The Seventeenth International Conference on Automated Planning and Scheduling (ICAPS-07). - Mark S. Boddy; Maria Fox 001; Sylvie Thiébaux (AI Mag., 2008)

Directed Unfolding of Petri Nets. - Blai Bonet; Patrik Haslum; Sarah L. Hickmott; Sylvie Thiébaux (Trans. Petri Nets Other Model. Concurr., 2008)

Advances in automated plan generation. - Maria Fox 001; Sylvie Thiébaux (Artif. Intell., 2009)

Cost-Optimal Factored Planning: Promises and Pitfalls. - Eric Fabre; Loïg Jezequel; Patrik Haslum; Sylvie Thiébaux (ICAPS, 2010)

A Decentralised Symbolic Diagnosis Approach. - Anika Schumann; Yannick Pencolé; Sylvie Thiébaux (ECAI, 2010)

Minimal Landmarks for Optimal Delete-Free Planning. - Patrik Haslum; John K. Slaney; Sylvie Thiébaux (ICAPS, 2012)

CP and MIP Methods for Ship Scheduling with Time-Varying Draft. - Elena Kelareva; Sebastian Brand; Philip Kilby; Sylvie Thiébaux; Mark Wallace 001 (ICAPS, 2012)

Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice. - Alban Grastien; Patrik Haslum; Sylvie Thiébaux (KR, 2012)

AI@NICTA. - Nick Barnes; Peter Baumgartner 001; Tibério S. Caetano; Hugh F. Durrant-Whyte; Gerwin Klein; Penelope Sanderson; Abdul Sattar 001; Peter J. Stuckey; Sylvie Thiébaux; Pascal Van Hentenryck; Toby Walsh (AI Mag., 2012)

Residential Demand Response under Uncertainty. - Paul Scott 002; Sylvie Thiébaux; Menkes van den Briel; Pascal Van Hentenryck (CP, 2013)

Prioritizing consumers in smart grid: Energy management using game theory. - Wayes Tushar; Jian A. Zhang; David B. Smith 001; Sylvie Thiébaux; H. Vincent Poor (ICC, 2013)

Randomized Load Control: A Simple Distributed Approach for Scheduling Smart Appliances. - Menkes van den Briel; Paul Scott 002; Sylvie Thiébaux (IJCAI, 2013)

Planning with MIP for Supply Restoration in Power Distribution Systems. - Sylvie Thiébaux; Carleton Coffrin; Hassan L. Hijazi; John K. Slaney (IJCAI, 2013)

Optimal Planning with Global Numerical State Constraints. - Franc Ivankovic; Patrik Haslum; Sylvie Thiébaux; Vikas Shivashankar; Dana S. Nau (ICAPS, 2014)

Optimal AC Distribution Systems Reconfiguration. - Hassan L. Hijazi; Sylvie Thiébaux (PSCC, 2014)

Dynamic Optimal Power Flow in Microgrids using the Alternating Direction Method of Multipliers. - Paul Scott 002; Sylvie Thiébaux (CoRR, 2014)

Recent advances in unfolding technique. - Blai Bonet; Patrik Haslum; Victor Khomenko; Sylvie Thiébaux; Walter Vogler (Theor. Comput. Sci., 2014)

Prioritizing Consumers in Smart Grid: A Game Theoretic Approach. - Wayes Tushar; Jian A. Zhang; David B. Smith 001; H. Vincent Poor; Sylvie Thiébaux (IEEE Trans. Smart Grid, 2014)

HVAC-Aware Occupancy Scheduling. - BoonPing Lim; Menkes van den Briel; Sylvie Thiébaux; Scott Backhaus; Russell Bent (AAAI, 2015)

Large Neighborhood Search for Energy Aware Meeting Scheduling in Smart Buildings. - BoonPing Lim; Menkes van den Briel; Sylvie Thiébaux; Russell Bent; Scott Backhaus (CPAIOR, 2015)

Distributed Multi-Period Optimal Power Flow for Demand Response in Microgrids. - Paul Scott 002; Sylvie Thiébaux (e-Energy, 2015)

Reports from the 2015 AAAI Workshop Program. - 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; et al. (AI Mag., 2015)

RAO*: An Algorithm for Chance-Constrained POMDP's. - Pedro Henrique de Rodrigues Quemel e Assis Santana; Sylvie Thiébaux; Brian Charles Williams (AAAI, 2016)

Numeric Planning with Disjunctive Global Constraints via SMT. - Enrico Scala; Miquel Ramírez; Patrik Haslum; Sylvie Thiébaux (ICAPS, 2016)

Heuristic Search in Dual Space for Constrained Stochastic Shortest Path Problems. - Felipe W. Trevizan; Sylvie Thiébaux; Pedro Henrique Santana; Brian Charles Williams (ICAPS, 2016)

Online HVAC-Aware Occupancy Scheduling with Adaptive Temperature Control. - BoonPing Lim; Hassan L. Hijazi; Sylvie Thiébaux; Menkes van den Briel (CP, 2016)

Interval-Based Relaxation for General Numeric Planning. - Enrico Scala; Patrik Haslum; Sylvie Thiébaux; Miquel Ramírez (ECAI, 2016)

Heuristics for Numeric Planning via Subgoaling. - Enrico Scala; Patrik Haslum; Sylvie Thiébaux (IJCAI, 2016)

Reports of the 2016 AAAI Workshop Program. - Stefano V. Albrecht; Bruno Bouchard 001; John S. Brownstein; David L. Buckeridge; Cornelia Caragea; Kevin M. Carter 001; Adnan Darwiche; Blaz Fortuna; Yannick Francillette; Sébastien Gaboury; C. Lee Giles; Marko Grobelnik; et al. (AI Mag., 2016)

Occupation Measure Heuristics for Probabilistic Planning. - Felipe W. Trevizan; Sylvie Thiébaux; Patrik Haslum (ICAPS, 2017)

Landmarks for Numeric Planning Problems. - Enrico Scala; Patrik Haslum; Daniele Magazzeni; Sylvie Thiébaux (IJCAI, 2017)

I-dual: Solving Constrained SSPs via Heuristic Search in the Dual Space. - Felipe W. Trevizan; Sylvie Thiébaux; Pedro Henrique Santana; Brian C. Williams (IJCAI, 2017)

Tableaux for Policy Synthesis for MDPs with PCTL* Constraints. - Peter Baumgartner 001; Sylvie Thiébaux; Felipe W. Trevizan (TABLEAUX, 2017)

Efficient solutions for Stochastic Shortest Path Problems with Dead Ends. - Felipe W. Trevizan; Florent Teichteil-Königsbuch; Sylvie Thiébaux (UAI, 2017)

Numerical Integration and Dynamic Discretization in Heuristic Search Planning over Hybrid Domains. - Miquel Ramírez; Enrico Scala; Patrik Haslum; Sylvie Thiébaux (CoRR, 2017)

Action Schema Networks: Generalised Policies With Deep Learning. - Sam Toyer; Felipe W. Trevizan; Sylvie Thiébaux; Lexing Xie (AAAI, 2018)

Operator Counting Heuristics for Probabilistic Planning. - Felipe W. Trevizan; Sylvie Thiébaux; Patrik Haslum (IJCAI, 2018)

Heuristic Search Planning With Multi-Objective Probabilistic LTL Constraints. - Peter Baumgartner 001; Sylvie Thiébaux; Felipe W. Trevizan (KR, 2018)

Extending Classical Planning with State Constraints: Heuristics and Search for Optimal Planning. - Patrik Haslum; Franc Ivankovic; Miquel Ramírez; Dan Gordon 002; Sylvie Thiébaux; Vikas Shivashankar; Dana S. Nau (J. Artif. Intell. Res., 2018)

Reward Potentials for Planning with Learned Neural Network Transition Models. - Buser Say; Scott Sanner; Sylvie Thiébaux (CP, 2019)

Guiding Search with Generalized Policies for Probabilistic Planning. - William Shen; Felipe W. Trevizan; Sam Toyer; Sylvie Thiébaux; Lexing Xie (SOCS, 2019)

Network-Aware Coordination of Residential Distributed Energy Resources. - Paul Scott 002; Dan Gordon 002; Evan Franklin; Laura Jones; Sylvie Thiébaux (IEEE Trans. Smart Grid, 2019)

Identification of Manipulation in Receding Horizon Electricity Markets. - Paul Scott 002; Sylvie Thiébaux (IEEE Trans. Smart Grid, 2019)

Optimal and Heuristic Approaches for Constrained Flight Planning under Weather Uncertainty. - Florian Geißer; Guillaume Povéda; Felipe W. Trevizan; Manon Bondouy; Florent Teichteil-Königsbuch; Sylvie Thiébaux (ICAPS, 2020)

Learning Domain-Independent Planning Heuristics with Hypergraph Networks. - William Shen; Felipe W. Trevizan; Sylvie Thiébaux (ICAPS, 2020)

Network-aware Participation of Aggregators in NEM Energy and FCAS Markets. - Ahmad Attarha; Paul Scott 002; Sylvie Thiébaux (e-Energy, 2020)

Subgoaling Techniques for Satisficing and Optimal Numeric Planning. - Enrico Scala; Patrik Haslum; Sylvie Thiébaux; Miquel Ramírez (J. Artif. Intell. Res., 2020)

ASNets: Deep Learning for Generalised Planning. - Sam Toyer; Sylvie Thiébaux; Felipe W. Trevizan; Lexing Xie (J. Artif. Intell. Res., 2020)

Affinely Adjustable Robust ADMM for Residential DER Coordination in Distribution Networks. - Ahmad Attarha; Paul Scott 002; Sylvie Thiébaux (IEEE Trans. Smart Grid, 2020)

Progression Heuristics for Planning with Probabilistic LTL Constraints. - Ian Mallett 002; Sylvie Thiébaux; Felipe W. Trevizan (AAAI, 2021)

Computing Plans that Signal Normative Compliance. - Alban Grastien; Claire Benn; Sylvie Thiébaux (AIES, 2021)

SmartGridToolbox: A Library for Simulating Modern and Future Electricity Networks. - Dan Gordon 002; Paul Scott 002; Sylvie Thiébaux (CoRR, 2021)

Network-Secure and Price-Elastic Aggregator Bidding in Energy and Reserve Markets. - Ahmad Attarha; Paul Scott 002; José Iria; Sylvie Thiébaux (IEEE Trans. Smart Grid, 2021)

Stochastic Policies in Morally Constrained (C-)SSPs. - Charles Evans; Claire Benn; Ignacio Ojea Quintana; Pamela Robinson; Sylvie Thiébaux (AIES, 2022)

Admissible Heuristics for Multi-Objective Planning. - Florian Geißer; Patrik Haslum; Sylvie Thiébaux; Felipe W. Trevizan (ICAPS, 2022)

Preface. - Sylvie Thiébaux; William Yeoh 001; Akshat Kumar; Pradeep Varakantham (ICAPS, 2022)

Network-Secure Envelopes Enabling Reliable DER Bidding in Energy and Reserve Markets. - Ahmad Attarha; S. Mahdi Noori R. A.; Paul Scott 002; Sylvie Thiébaux (IEEE Trans. Smart Grid, 2022)

Heuristic Search for Multi-Objective Probabilistic Planning. - Dillon Ze Chen; Felipe W. Trevizan; Sylvie Thiébaux (AAAI, 2023)

Fast and Robust Resource-Constrained Scheduling with Graph Neural Networks. - Florent Teichteil-Königsbuch; Guillaume Povéda; Guillermo González de Garibay Barba; Tim Luchterhand; Sylvie Thiébaux (ICAPS, 2023)

Formal Explanations of Neural Network Policies for Planning. - Renee Selvey; Alban Grastien; Sylvie Thiébaux (IJCAI, 2023)

A More General Theory of Diagnosis from First Principles. - Alban Grastien; Patrik Haslum; Sylvie Thiébaux (CoRR, 2023)

Learning Domain-Independent Heuristics for Grounded and Lifted Planning. - Dillon Ze Chen; Sylvie Thiébaux; Felipe W. Trevizan (AAAI, 2024)

Trustworthiness of AI in Planning and Scheduling: The Experience of the TUPLES Project. - Angelo Gordini; Matteo Pozzi; Michele Lombardi 001; Thomas Sergeys; Tias Guns; Andrea De Cesarei; Sofia Morandini; Sylvie Thiébaux (DSA ISC (2), 2024)

Decision-Focused Learning to Predict Action Costs for Planning. - Jayanta Mandi; Marco Foschini; Daniel Höller; Sylvie Thiébaux; Jörg Hoffmann 001; Tias Guns (ECAI, 2024)

Return to Tradition: Learning Reliable Heuristics with Classical Machine Learning. - Dillon Z. Chen; Felipe W. Trevizan; Sylvie Thiébaux (ICAPS, 2024)

Explaining the Space of SSP Policies via Policy-Property Dependencies: Complexity, Algorithms, and Relation to Multi-Objective Planning. - Marcel Steinmetz; Sylvie Thiébaux; Daniel Höller; Florent Teichteil-Königsbuch (ICAPS, 2024)

Learning Generalised Policies for Numeric Planning. - Ryan Xiao Wang; Sylvie Thiébaux (ICAPS, 2024)

Neuro-Symbolic Learning of Lifted Action Models from Visual Traces. - Kai Xi; Stephen Gould; Sylvie Thiébaux (ICAPS, 2024)

Guiding GBFS through Learned Pairwise Rankings. - Mingyu Hao; Felipe W. Trevizan; Sylvie Thiébaux; Patrick Ferber; Jörg Hoffmann 001 (IJCAI, 2024)

Graph Learning for Numeric Planning. - Dillon Z. Chen; Sylvie Thiébaux (NeurIPS, 2024)

Novelty Heuristics, Multi-Queue Search, and Portfolios for Numeric Planning. - Dillon Z. Chen; Sylvie Thiébaux (SOCS, 2024)

Graph Learning for Planning: The Story Thus Far and Open Challenges. - Dillon Z. Chen; Mingyu Hao; Sylvie Thiébaux; Felipe W. Trevizan (CoRR, 2024)

AI Planning: A Primer and Survey (Preliminary Report). - Dillon Z. Chen; Pulkit Verma 001; Siddharth Srivastava 001; Michael Katz; Sylvie Thiébaux (CoRR, 2024)

Understanding the Impact of Value Selection Heuristics in Scheduling Problems. - Tim Luchterhand; Emmanuel Hebrard; Sylvie Thiébaux (CP, 2025)

Learning Efficiency Meets Symmetry Breaking. - Yingbin Bai; Sylvie Thiébaux; Felipe W. Trevizan (CoRR, 2025)