Sylvie Thiébaux

ORCID

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 54

Top Venues

CoRR

ICAPS

IEEE Trans. Smart Grid

AAAI

Publications

Marcel Steinmetz, Sylvie Thiébaux, Daniel Höller, Florent Teichteil-Königsbuch
Explaining the Space of SSP Policies via Policy-Property Dependencies: Complexity, Algorithms, and Relation to Multi-Objective Planning. ICAPS (2024)
Dillon Z. Chen, Sylvie Thiébaux
Novelty Heuristics, Multi-Queue Search, and Portfolios for Numeric Planning. SOCS (2024)
Dillon Z. Chen, Sylvie Thiébaux
Novelty Heuristics, Multi-Queue Search, and Portfolios for Numeric Planning. CoRR (2024)
Ryan Xiao Wang, Sylvie Thiébaux
Learning Generalised Policies for Numeric Planning. ICAPS (2024)
Dillon Z. Chen, Felipe W. Trevizan, Sylvie Thiébaux
Return to Tradition: Learning Reliable Heuristics with Classical Machine Learning. ICAPS (2024)
Dillon Ze Chen, Felipe W. Trevizan, Sylvie Thiébaux
Return to Tradition: Learning Reliable Heuristics with Classical Machine Learning. CoRR (2024)
Kai Xi, Stephen Gould, Sylvie Thiébaux
Neuro-Symbolic Learning of Lifted Action Models from Visual Traces. ICAPS (2024)
Dillon Ze Chen, Sylvie Thiébaux, Felipe W. Trevizan
Learning Domain-Independent Heuristics for Grounded and Lifted Planning. AAAI (2024)
Dillon Ze Chen, Sylvie Thiébaux, Felipe W. Trevizan
Learning Domain-Independent Heuristics for Grounded and Lifted Planning. CoRR (2023)
Dillon Chen, Felipe W. Trevizan, Sylvie Thiébaux
Heuristic Search for Multi-Objective Probabilistic Planning. CoRR (2023)
Florent Teichteil-Königsbuch, Guillaume Povéda, Guillermo González de Garibay Barba, Tim Luchterhand, Sylvie Thiébaux
Fast and Robust Resource-Constrained Scheduling with Graph Neural Networks. ICAPS (2023)
Renee Selvey, Alban Grastien, Sylvie Thiébaux
Formal Explanations of Neural Network Policies for Planning. IJCAI (2023)
Alban Grastien, Patrik Haslum, Sylvie Thiébaux
A More General Theory of Diagnosis from First Principles. CoRR (2023)
Dillon Ze Chen, Felipe W. Trevizan, Sylvie Thiébaux
Heuristic Search for Multi-Objective Probabilistic Planning. AAAI (2023)
Charles Evans, Claire Benn, Ignacio Ojea Quintana, Pamela Robinson, Sylvie Thiébaux
Stochastic Policies in Morally Constrained (C-)SSPs. AIES (2022)
Florian Geißer, Patrik Haslum, Sylvie Thiébaux, Felipe W. Trevizan
Admissible Heuristics for Multi-Objective Planning. ICAPS (2022)
Sylvie Thiébaux, William Yeoh, Akshat Kumar, Pradeep Varakantham
Preface. ICAPS (2022)
Ahmad Attarha, S. Mahdi Noori R. A., Paul Scott, Sylvie Thiébaux
Network-Secure Envelopes Enabling Reliable DER Bidding in Energy and Reserve Markets. IEEE Trans. Smart Grid 13 (3) (2022)
Ahmad Attarha, Paul Scott, Jose P. Iria, Sylvie Thiébaux
Network-Secure and Price-Elastic Aggregator Bidding in Energy and Reserve Markets. IEEE Trans. Smart Grid 12 (3) (2021)
Dan Gordon, Paul Scott, Sylvie Thiébaux
SmartGridToolbox: A Library for Simulating Modern and Future Electricity Networks. CoRR (2021)
Ian Mallett, Sylvie Thiébaux, Felipe W. Trevizan
Progression Heuristics for Planning with Probabilistic LTL Constraints. AAAI (2021)
Alban Grastien, Claire Benn, Sylvie Thiébaux
Computing Plans that Signal Normative Compliance. AIES (2021)
Ahmad Attarha, Paul Scott, Sylvie Thiébaux
Affinely Adjustable Robust ADMM for Residential DER Coordination in Distribution Networks. IEEE Trans. Smart Grid 11 (2) (2020)
Sam Toyer, Sylvie Thiébaux, Felipe W. Trevizan, Lexing Xie
ASNets: Deep Learning for Generalised Planning. J. Artif. Intell. Res. 68 (2020)
Enrico Scala, Patrik Haslum, Sylvie Thiébaux, Miquel Ramírez
Subgoaling Techniques for Satisficing and Optimal Numeric Planning. J. Artif. Intell. Res. 68 (2020)
Florian Geißer, Guillaume Povéda, Felipe W. Trevizan, Manon Bondouy, Florent Teichteil-Königsbuch, Sylvie Thiébaux
Optimal and Heuristic Approaches for Constrained Flight Planning under Weather Uncertainty. ICAPS (2020)
William Shen, Felipe W. Trevizan, Sylvie Thiébaux
Learning Domain-Independent Planning Heuristics with Hypergraph Networks. ICAPS (2020)
Ahmad Attarha, Paul Scott, Sylvie Thiébaux
Network-aware Participation of Aggregators in NEM Energy and FCAS Markets. e-Energy (2020)
William Shen, Felipe W. Trevizan, Sylvie Thiébaux
Learning Domain-Independent Planning Heuristics with Hypergraph Networks. CoRR (2019)
Buser Say, Scott Sanner, Sylvie Thiébaux
Reward Potentials for Planning with Learned Neural Network Transition Models. CP (2019)
Paul Scott, Sylvie Thiébaux
Identification of Manipulation in Receding Horizon Electricity Markets. IEEE Trans. Smart Grid 10 (1) (2019)
Buser Say, Scott Sanner, Sylvie Thiébaux
Reward Potentials for Planning with Learned Neural Network Transition Models. CoRR (2019)
Paul Scott, Dan Gordon, Evan Franklin, Laura Jones, Sylvie Thiébaux
Network-Aware Coordination of Residential Distributed Energy Resources. IEEE Trans. Smart Grid 10 (6) (2019)
William Shen, Felipe W. Trevizan, Sam Toyer, Sylvie Thiébaux, Lexing Xie
Guiding Search with Generalized Policies for Probabilistic Planning. SOCS (2019)
Sam Toyer, Felipe W. Trevizan, Sylvie Thiébaux, Lexing Xie
ASNets: Deep Learning for Generalised Planning. CoRR (2019)
Sam Toyer, Felipe W. Trevizan, Sylvie Thiébaux, Lexing Xie
Action Schema Networks: Generalised Policies With Deep Learning. AAAI (2018)
Peter Baumgartner, Sylvie Thiébaux, Felipe W. Trevizan
Heuristic Search Planning With Multi-Objective Probabilistic LTL Constraints. KR (2018)
Patrik Haslum, Franc Ivankovic, Miquel Ramírez, Dan Gordon, Sylvie Thiébaux, Vikas Shivashankar, Dana S. Nau
Extending Classical Planning with State Constraints: Heuristics and Search for Optimal Planning. J. Artif. Intell. Res. 62 (2018)
Felipe W. Trevizan, Sylvie Thiébaux, Patrik Haslum
Operator Counting Heuristics for Probabilistic Planning. IJCAI (2018)
Felipe W. Trevizan, Florent Teichteil-Königsbuch, Sylvie Thiébaux
Efficient solutions for Stochastic Shortest Path Problems with Dead Ends. UAI (2017)
Felipe W. Trevizan, Sylvie Thiébaux, Pedro Henrique Santana, Brian Williams
I-dual: Solving Constrained SSPs via Heuristic Search in the Dual Space. IJCAI (2017)
Peter Baumgartner, Sylvie Thiébaux, Felipe W. Trevizan
Tableaux for Policy Synthesis for MDPs with PCTL* Constraints. TABLEAUX (2017)
Felipe W. Trevizan, Sylvie Thiébaux, Patrik Haslum
Occupation Measure Heuristics for Probabilistic Planning. ICAPS (2017)
Miquel Ramírez, Enrico Scala, Patrik Haslum, Sylvie Thiébaux
Numerical Integration and Dynamic Discretization in Heuristic Search Planning over Hybrid Domains. CoRR (2017)
Sam Toyer, Felipe W. Trevizan, Sylvie Thiébaux, Lexing Xie
Action Schema Networks: Generalised Policies with Deep Learning. CoRR (2017)
Peter Baumgartner, Sylvie Thiébaux, Felipe W. Trevizan
Tableaux for Policy Synthesis for MDPs with PCTL* Constraints. CoRR (2017)
Enrico Scala, Patrik Haslum, Daniele Magazzeni, Sylvie Thiébaux
Landmarks for Numeric Planning Problems. IJCAI (2017)
Enrico Scala, Patrik Haslum, Sylvie Thiébaux, Miquel Ramírez
Interval-Based Relaxation for General Numeric Planning. ECAI (2016)
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 J. Witbrock, Jie Zhang
Reports of the 2016 AAAI Workshop Program. AI Mag. 37 (3) (2016)
Enrico Scala, Miquel Ramírez, Patrik Haslum, Sylvie Thiébaux
Numeric Planning with Disjunctive Global Constraints via SMT. ICAPS (2016)
BoonPing Lim, Hassan L. Hijazi, Sylvie Thiébaux, Menkes van den Briel
Online HVAC-Aware Occupancy Scheduling with Adaptive Temperature Control. CP (2016)
Pedro Henrique de Rodrigues Quemel e Assis Santana, Sylvie Thiébaux, Brian Charles Williams
RAO*: An Algorithm for Chance-Constrained POMDP's. AAAI (2016)
Enrico Scala, Patrik Haslum, Sylvie Thiébaux
Heuristics for Numeric Planning via Subgoaling. IJCAI (2016)
Felipe W. Trevizan, Sylvie Thiébaux, Pedro Henrique Santana, Brian Charles Williams
Heuristic Search in Dual Space for Constrained Stochastic Shortest Path Problems. ICAPS (2016)
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
Reports from the 2015 AAAI Workshop Program. AI Mag. 36 (2) (2015)
BoonPing Lim, Menkes van den Briel, Sylvie Thiébaux, Russell Bent, Scott Backhaus
Large Neighborhood Search for Energy Aware Meeting Scheduling in Smart Buildings. CPAIOR (2015)
Paul Scott, Sylvie Thiébaux
Distributed Multi-Period Optimal Power Flow for Demand Response in Microgrids. e-Energy (2015)
BoonPing Lim, Menkes van den Briel, Sylvie Thiébaux, Scott Backhaus, Russell Bent
HVAC-Aware Occupancy Scheduling. AAAI (2015)
BoonPing Lim, Menkes van den Briel, Sylvie Thiébaux, Scott Backhaus, Russell Bent
HVAC-Aware Occupancy Scheduling. AAAI Workshop: AI for Cities (2015)
Wayes Tushar, Jian A. Zhang, David B. Smith, H. Vincent Poor, Sylvie Thiébaux
Prioritizing Consumers in Smart Grid: A Game Theoretic Approach. IEEE Trans. Smart Grid 5 (3) (2014)
Paul Scott, Sylvie Thiébaux
Dynamic Optimal Power Flow in Microgrids using the Alternating Direction Method of Multipliers. CoRR (2014)
Franc Ivankovic, Patrik Haslum, Sylvie Thiébaux, Vikas Shivashankar, Dana S. Nau
Optimal Planning with Global Numerical State Constraints. ICAPS (2014)
Blai Bonet, Patrik Haslum, Victor Khomenko, Sylvie Thiébaux, Walter Vogler
Recent advances in unfolding technique. Theor. Comput. Sci. 551 (2014)
Hassan L. Hijazi, Sylvie Thiébaux
Optimal AC Distribution Systems Reconfiguration. PSCC (2014)
Menkes van den Briel, Paul Scott, Sylvie Thiébaux
Randomized Load Control: A Simple Distributed Approach for Scheduling Smart Appliances. IJCAI (2013)
Wayes Tushar, Jian Andrew Zhang, David B. Smith, Sylvie Thiébaux, H. Vincent Poor
Prioritizing Consumers in Smart Grid: Energy Management Using Game Theory CoRR (2013)
Sylvie Thiébaux, Froduald Kabanza, John K. Slaney
Anytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards CoRR (2013)
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 CoRR (2013)
Paul Scott, Sylvie Thiébaux, Menkes van den Briel, Pascal Van Hentenryck
Residential Demand Response under Uncertainty. CP (2013)
Wayes Tushar, Jian A. Zhang, David B. Smith, Sylvie Thiébaux, H. Vincent Poor
Prioritizing consumers in smart grid: Energy management using game theory. ICC (2013)
Sylvie Thiébaux, Carleton Coffrin, Hassan L. Hijazi, John K. Slaney
Planning with MIP for Supply Restoration in Power Distribution Systems. IJCAI (2013)
Wayes Tushar, Jian A. Zhang, David B. Smith, H. Vincent Poor, Sylvie Thiébaux
Prioritizing Consumers in Smart Grid: A Game Theoretic Approach. CoRR (2013)
Charles Gretton, David Price, Sylvie Thiébaux
Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards CoRR (2012)
Elena Kelareva, Sebastian Brand, Philip Kilby, Sylvie Thiébaux, Mark Wallace
CP and MIP Methods for Ship Scheduling with Time-Varying Draft. ICAPS (2012)
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@NICTA. AI Mag. 33 (3) (2012)
Charles Gretton, Sylvie Thiébaux
Exploiting First-Order Regression in Inductive Policy Selection CoRR (2012)
Patrik Haslum, John K. Slaney, Sylvie Thiébaux
Minimal Landmarks for Optimal Delete-Free Planning. ICAPS (2012)
Alban Grastien, Patrik Haslum, Sylvie Thiébaux
Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice. KR (2012)
Stefan Edelkamp, Roman Englert, Jörg Hoffmann, Frederico dos S. Liporace, Sylvie Thiébaux, Sebastian Trüg
Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4 CoRR (2011)
Charles Gretton, Froduald Kabanza, David Price, John K. Slaney, Sylvie Thiébaux
Decision-Theoretic Planning with non-Markovian Rewards CoRR (2011)
Eric Fabre, Loïg Jezequel, Patrik Haslum, Sylvie Thiébaux
Cost-Optimal Factored Planning: Promises and Pitfalls. ICAPS (2010)
Anika Schumann, Yannick Pencolé, Sylvie Thiébaux
A Decentralised Symbolic Diagnosis Approach. ECAI (2010)
Maria Fox, Sylvie Thiébaux
Advances in automated plan generation. Artif. Intell. 173 (5-6) (2009)
Blai Bonet, Patrik Haslum, Sarah L. Hickmott, Sylvie Thiébaux
Directed Unfolding of Petri Nets. Trans. Petri Nets Other Model. Concurr. 1 (2008)
Mark S. Boddy, Maria Fox, Sylvie Thiébaux
The Seventeenth International Conference on Automated Planning and Scheduling (ICAPS-07). AI Mag. 29 (3) (2008)
Anika Schumann, Yannick Pencolé, Sylvie Thiébaux
A Spectrum of Symbolic On-line Diagnosis Approaches. AAAI (2007)
Sarah L. Hickmott, Jussi Rintanen, Sylvie Thiébaux, Langford B. White
Planning via Petri Net Unfolding. IJCAI (2007)
Elena Kelareva, Olivier Buffet, Jinbo Huang, Sylvie Thiébaux
Factored Planning Using Decomposition Trees. IJCAI (2007)
Iain Little, Sylvie Thiébaux
Concurrent Probabilistic Planning in the Graphplan Framework. ICAPS (2006)
Sylvie Thiébaux, Charles Gretton, John K. Slaney, David Price, Froduald Kabanza
Decision-Theoretic Planning with non-Markovian Rewards. J. Artif. Intell. Res. 25 (2006)
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. 26 (2006)
Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh
Estimating Search Tree Size. AAAI (2006)
Sylvain Kerjean, Froduald Kabanza, Richard St-Denis, Sylvie Thiébaux
Analyzing LTL Model Checking Techniques for Plan Synthesis and Controller Synthesis (Work in Progress). Electron. Notes Theor. Comput. Sci. 149 (2) (2006)
Sylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel
In defense of PDDL axioms. Artif. Intell. 168 (1-2) (2005)
Iain Little, Douglas Aberdeen, Sylvie Thiébaux
Prottle: A Probabilistic Temporal Planner. AAAI (2005)
Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh
Backbones and Backdoors in Satisfiability. AAAI (2005)
Froduald Kabanza, Sylvie Thiébaux
Search Control in Planning for Temporally Extended Goals. ICAPS (2005)
Charles Gretton, Sylvie Thiébaux
Exploiting First-Order Regression in Inductive Policy Selection. UAI (2004)
Anika Schumann, Yannick Pencolé, Sylvie Thiébaux
Symbolic Models for Diagnosing Discrete-Event Systems. ECAI (2004)
Douglas Aberdeen, Sylvie Thiébaux, Lin Zhang
Decision-Theoretic Military Operations Planning. ICAPS (2004)

Sylvie Thiébaux.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sylvie Thiébaux