Sylvie Thiébaux

According to our database, Sylvie Thiébaux authored at least 99 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Novelty Heuristics, Multi-Queue Search, and Portfolios for Numeric Planning.

Dillon Z. Chen, Sylvie Thiébaux

Proceedings of the Seventeenth International Symposium on Combinatorial Search, 2024

Guiding GBFS through Learned Pairwise Rankings.

Mingyu Hao, Felipe W. Trevizan, Sylvie Thiébaux, Patrick Ferber, Jörg Hoffmann

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Neuro-Symbolic Learning of Lifted Action Models from Visual Traces.

Kai Xi, Stephen Gould, Sylvie Thiébaux

Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024

Learning Generalised Policies for Numeric Planning.

Ryan Xiao Wang, Sylvie Thiébaux

Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 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

Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024

Return to Tradition: Learning Reliable Heuristics with Classical Machine Learning.

Dillon Z. Chen, Felipe W. Trevizan, Sylvie Thiébaux

Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024

Decision-Focused Learning to Predict Action Costs for Planning.

Jayanta Mandi, Marco Foschini, Daniel Höller, Sylvie Thiébaux, Jörg Hoffmann, Tias Guns

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

Learning Domain-Independent Heuristics for Grounded and Lifted Planning.

Dillon Ze Chen, Sylvie Thiébaux, Felipe W. Trevizan

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

A More General Theory of Diagnosis from First Principles.

Alban Grastien, Patrik Haslum, Sylvie Thiébaux

CoRR, 2023

Formal Explanations of Neural Network Policies for Planning.

Renee Selvey, Alban Grastien, Sylvie Thiébaux

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 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

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

Heuristic Search for Multi-Objective Probabilistic Planning.

Dillon Ze Chen, Felipe W. Trevizan, Sylvie Thiébaux

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Network-Secure Envelopes Enabling Reliable DER Bidding in Energy and Reserve Markets.

Ahmad Attarha, S. Mahdi Noori R. A., Paul Scott, Sylvie Thiébaux

IEEE Trans. Smart Grid, 2022

Preface.

Sylvie Thiébaux, William Yeoh, Akshat Kumar, Pradeep Varakantham

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

Admissible Heuristics for Multi-Objective Planning.

Florian Geißer, Patrik Haslum, Sylvie Thiébaux, Felipe W. Trevizan

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

Stochastic Policies in Morally Constrained (C-)SSPs.

Charles Evans, Claire Benn, Ignacio Ojea Quintana, Pamela Robinson, Sylvie Thiébaux

Proceedings of the AIES '22: AAAI/ACM Conference on AI, Ethics, and Society, Oxford, United Kingdom, May 19, 2022

2021

Network-Secure and Price-Elastic Aggregator Bidding in Energy and Reserve Markets.

Ahmad Attarha, Paul Scott, José Iria, Sylvie Thiébaux

IEEE Trans. Smart Grid, 2021

SmartGridToolbox: A Library for Simulating Modern and Future Electricity Networks.

Dan Gordon, Paul Scott, Sylvie Thiébaux

CoRR, 2021

Computing Plans that Signal Normative Compliance.

Alban Grastien, Claire Benn, Sylvie Thiébaux

Proceedings of the AIES '21: AAAI/ACM Conference on AI, 2021

Progression Heuristics for Planning with Probabilistic LTL Constraints.

Ian Mallett, Sylvie Thiébaux, Felipe W. Trevizan

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Affinely Adjustable Robust ADMM for Residential DER Coordination in Distribution Networks.

Ahmad Attarha, Paul Scott, Sylvie Thiébaux

IEEE Trans. Smart Grid, 2020

ASNets: Deep Learning for Generalised Planning.

Sam Toyer, Sylvie Thiébaux, Felipe W. Trevizan, Lexing Xie

J. Artif. Intell. Res., 2020

Subgoaling Techniques for Satisficing and Optimal Numeric Planning.

Enrico Scala, Patrik Haslum, Sylvie Thiébaux, Miquel Ramírez

J. Artif. Intell. Res., 2020

Network-aware Participation of Aggregators in NEM Energy and FCAS Markets.

Ahmad Attarha, Paul Scott, Sylvie Thiébaux

Proceedings of the e-Energy '20: The Eleventh ACM International Conference on Future Energy Systems, 2020

Learning Domain-Independent Planning Heuristics with Hypergraph Networks.

William Shen, Felipe W. Trevizan, Sylvie Thiébaux

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

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

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

2019

Identification of Manipulation in Receding Horizon Electricity Markets.

Paul Scott, Sylvie Thiébaux

IEEE Trans. Smart Grid, 2019

Network-Aware Coordination of Residential Distributed Energy Resources.

Paul Scott, Dan Gordon, Evan Franklin, Laura Jones, Sylvie Thiébaux

IEEE Trans. Smart Grid, 2019

Guiding Search with Generalized Policies for Probabilistic Planning.

William Shen, Felipe W. Trevizan, Sam Toyer, Sylvie Thiébaux, Lexing Xie

Proceedings of the Twelfth International Symposium on Combinatorial Search, 2019

Reward Potentials for Planning with Learned Neural Network Transition Models.

Buser Say, Scott Sanner, Sylvie Thiébaux

Proceedings of the Principles and Practice of Constraint Programming, 2019

2018

Extending Classical Planning with State Constraints: Heuristics and Search for Optimal Planning.

Patrik Haslum, Franc Ivankovic, Miquel Ramírez, Dan Gordon, Sylvie Thiébaux, Vikas Shivashankar, Dana S. Nau

J. Artif. Intell. Res., 2018

Heuristic Search Planning With Multi-Objective Probabilistic LTL Constraints.

Peter Baumgartner, Sylvie Thiébaux, Felipe W. Trevizan

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Operator Counting Heuristics for Probabilistic Planning.

Felipe W. Trevizan, Sylvie Thiébaux, Patrik Haslum

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Action Schema Networks: Generalised Policies With Deep Learning.

Sam Toyer, Felipe W. Trevizan, Sylvie Thiébaux, Lexing Xie

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

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

Efficient solutions for Stochastic Shortest Path Problems with Dead Ends.

Felipe W. Trevizan, Florent Teichteil-Königsbuch, Sylvie Thiébaux

Proceedings of the Thirty-Third Conference on Uncertainty in Artificial Intelligence, 2017

Tableaux for Policy Synthesis for MDPs with PCTL* Constraints.

Peter Baumgartner, Sylvie Thiébaux, Felipe W. Trevizan

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 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

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Landmarks for Numeric Planning Problems.

Enrico Scala, Patrik Haslum, Daniele Magazzeni, Sylvie Thiébaux

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Occupation Measure Heuristics for Probabilistic Planning.

Felipe W. Trevizan, Sylvie Thiébaux, Patrik Haslum

Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

2016

Reports of the 2016 AAAI Workshop Program.

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

AI Mag., 2016

Heuristics for Numeric Planning via Subgoaling.

Enrico Scala, Patrik Haslum, Sylvie Thiébaux

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Interval-Based Relaxation for General Numeric Planning.

Enrico Scala, Patrik Haslum, Sylvie Thiébaux, Miquel Ramírez

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Online HVAC-Aware Occupancy Scheduling with Adaptive Temperature Control.

BoonPing Lim, Hassan L. Hijazi, Sylvie Thiébaux, Menkes van den Briel

Proceedings of the Principles and Practice of Constraint Programming, 2016

Heuristic Search in Dual Space for Constrained Stochastic Shortest Path Problems.

Felipe W. Trevizan, Sylvie Thiébaux, Pedro Henrique Santana, Brian Charles Williams

Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

Numeric Planning with Disjunctive Global Constraints via SMT.

Enrico Scala, Miquel Ramírez, Patrik Haslum, Sylvie Thiébaux

Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

RAO*: An Algorithm for Chance-Constrained POMDP's.

Pedro Henrique de Rodrigues Quemel e Assis Santana, Sylvie Thiébaux, Brian Charles Williams

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

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, 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

AI Mag., 2015

Distributed Multi-Period Optimal Power Flow for Demand Response in Microgrids.

Paul Scott, Sylvie Thiébaux

Proceedings of the 2015 ACM Sixth International Conference on Future Energy Systems, 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

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2015

HVAC-Aware Occupancy Scheduling.

BoonPing Lim, Menkes van den Briel, Sylvie Thiébaux, Scott Backhaus, Russell Bent

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Prioritizing Consumers in Smart Grid: A Game Theoretic Approach.

Wayes Tushar, Jian A. Zhang, David B. Smith, H. Vincent Poor, Sylvie Thiébaux

IEEE Trans. Smart Grid, 2014

Recent advances in unfolding technique.

Blai Bonet, Patrik Haslum, Victor Khomenko, Sylvie Thiébaux, Walter Vogler

Theor. Comput. Sci., 2014

Dynamic Optimal Power Flow in Microgrids using the Alternating Direction Method of Multipliers.

Paul Scott, Sylvie Thiébaux

CoRR, 2014

Optimal AC Distribution Systems Reconfiguration.

Hassan L. Hijazi, Sylvie Thiébaux

Proceedings of the 2014 Power Systems Computation Conference, 2014

Optimal Planning with Global Numerical State Constraints.

Franc Ivankovic, Patrik Haslum, Sylvie Thiébaux, Vikas Shivashankar, Dana S. Nau

Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

2013

Planning with MIP for Supply Restoration in Power Distribution Systems.

Sylvie Thiébaux, Carleton Coffrin, Hassan L. Hijazi, John K. Slaney

Proceedings of the IJCAI 2013, 2013

Randomized Load Control: A Simple Distributed Approach for Scheduling Smart Appliances.

Menkes van den Briel, Paul Scott, Sylvie Thiébaux

Proceedings of the IJCAI 2013, 2013

Prioritizing consumers in smart grid: Energy management using game theory.

Wayes Tushar, Jian A. Zhang, David B. Smith, Sylvie Thiébaux, H. Vincent Poor

Proceedings of IEEE International Conference on Communications, 2013

Residential Demand Response under Uncertainty.

Paul Scott, Sylvie Thiébaux, Menkes van den Briel, Pascal Van Hentenryck

Proceedings of the Principles and Practice of Constraint Programming, 2013

2012

AI@NICTA.

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

AI Mag., 2012

Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice.

Alban Grastien, Patrik Haslum, Sylvie Thiébaux

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

CP and MIP Methods for Ship Scheduling with Time-Varying Draft.

Elena Kelareva, Sebastian Brand, Philip Kilby, Sylvie Thiébaux, Mark Wallace

Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

Minimal Landmarks for Optimal Delete-Free Planning.

Patrik Haslum, John K. Slaney, Sylvie Thiébaux

Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

2010

A Decentralised Symbolic Diagnosis Approach.

Anika Schumann, Yannick Pencolé, Sylvie Thiébaux

Proceedings of the ECAI 2010, 2010

Cost-Optimal Factored Planning: Promises and Pitfalls.

Eric Fabre, Loïg Jezequel, Patrik Haslum, Sylvie Thiébaux

Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010

2009

Advances in automated plan generation.

Maria Fox, Sylvie Thiébaux

Artif. Intell., 2009

2008

Directed Unfolding of Petri Nets.

Blai Bonet, Patrik Haslum, Sarah L. Hickmott, Sylvie Thiébaux

Trans. Petri Nets Other Model. Concurr., 2008

The Seventeenth International Conference on Automated Planning and Scheduling (ICAPS-07).

Mark S. Boddy, Maria Fox, Sylvie Thiébaux

AI Mag., 2008

2007

Factored Planning Using Decomposition Trees.

Elena Kelareva, Olivier Buffet, Jinbo Huang, Sylvie Thiébaux

Proceedings of the IJCAI 2007, 2007

Planning via Petri Net Unfolding.

Sarah L. Hickmott, Jussi Rintanen, Sylvie Thiébaux, Langford B. White

Proceedings of the IJCAI 2007, 2007

A Spectrum of Symbolic On-line Diagnosis Approaches.

Anika Schumann, Yannick Pencolé, Sylvie Thiébaux

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

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

Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4.

Jörg Hoffmann, Stefan Edelkamp, Sylvie Thiébaux, Roman Englert, Frederico dos S. Liporace, Sebastian Trüg

J. Artif. Intell. Res., 2006

Concurrent Probabilistic Planning in the Graphplan Framework.

Iain Little, Sylvie Thiébaux

Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

Estimating Search Tree Size.

Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh

Proceedings of the Proceedings, 2006

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

Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, 2005

In defense of PDDL axioms.

Sylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel

Artif. Intell., 2005

Search Control in Planning for Temporally Extended Goals.

Froduald Kabanza, Sylvie Thiébaux

Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), 2005

Prottle: A Probabilistic Temporal Planner.

Iain Little, Douglas Aberdeen, Sylvie Thiébaux

Proceedings of the Proceedings, 2005

Backbones and Backdoors in Satisfiability.

Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh

Proceedings of the Proceedings, 2005

2004

Exploiting First-Order Regression in Inductive Policy Selection.

Charles Gretton, Sylvie Thiébaux

Proceedings of the UAI '04, 2004

Symbolic Models for Diagnosing Discrete-Event Systems.

Anika Schumann, Yannick Pencolé, Sylvie Thiébaux

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Decision-Theoretic Military Operations Planning.

Douglas Aberdeen, Sylvie Thiébaux, Lin Zhang

Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), 2004

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

Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards.

Charles Gretton, David Price, Sylvie Thiébaux

Proceedings of the UAI '03, 2003

GPT Meets PSR.

Blai Bonet, Sylvie Thiébaux

Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), 2003

2002

Anytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards.

Sylvie Thiébaux, Froduald Kabanza, John K. Slaney

Proceedings of the UAI '02, 2002

Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking.

Piergiorgio Bertoli, Alessandro Cimatti, John K. Slaney, Sylvie Thiébaux

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

2001

Blocks World revisited.

John K. Slaney, Sylvie Thiébaux

Artif. Intell., 2001

2000

Combining Kalman Filtering and Markov Localization in Network-Like Environments.

Sylvie Thiébaux, Peter Lamb

Proceedings of the PRICAI 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28, 2000

Estimating the Hardness of Optimisation.

John K. Slaney, Sylvie Thiébaux, Philip Kilby

Proceedings of the ECAI 2000, 2000

1998

Alarm Processing and Reconfiguration in Power Distribution Systems.

Marie-Odile Cordier, Jean-Paul Krivine, Philippe Laborie, Sylvie Thiébaux

Proceedings of the Tasks and Methods in Applied Artificial Intelligence, 1998

On the Hardness of Decision and Optimisation Problems.

John K. Slaney, Sylvie Thiébaux

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

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

Proceedings of the UAI '96: Proceedings of the Twelfth Annual Conference on Uncertainty in Artificial Intelligence, 1996

Linear Time Near-Optimal Planning in the Blocks World.

John K. Slaney, Sylvie Thiébaux

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995

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

1994

Turning an Action Formalism into a Planner - A Case Study.

Joachim Hertzberg, Sylvie Thiébaux

J. Log. Comput., 1994

Turning an Action Formalism Into a Planner - Essentials of a Case Study.

Joachim Hertzberg, Sylvie Thiébaux

Proceedings of the Methodologies for Intelligent Systems, 8th International Symposium, 1994