Sylvie Thiébaux

According to our database1, Sylvie Thiébaux authored at least 70 papers between 1993 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Identification of Manipulation in Receding Horizon Electricity Markets.
IEEE Trans. Smart Grid, 2019

Guiding Search with Generalized Policies for Probabilistic Planning.
Proceedings of the Twelfth International Symposium on Combinatorial Search, 2019

2018
Extending Classical Planning with State Constraints: Heuristics and Search for Optimal Planning.
J. Artif. Intell. Res., 2018

Heuristic Search Planning With Multi-Objective Probabilistic LTL Constraints.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Operator Counting Heuristics for Probabilistic Planning.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Action Schema Networks: Generalised Policies With Deep Learning.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Efficient solutions for Stochastic Shortest Path Problems with Dead Ends.
Proceedings of the Thirty-Third Conference on Uncertainty in Artificial Intelligence, 2017

Tableaux for Policy Synthesis for MDPs with PCTL* Constraints.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

I-dual: Solving Constrained SSPs via Heuristic Search in the Dual Space.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Landmarks for Numeric Planning Problems.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Occupation Measure Heuristics for Probabilistic Planning.
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

2016
Reports of the 2016 AAAI Workshop Program.
AI Magazine, 2016

Heuristics for Numeric Planning via Subgoaling.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Interval-Based Relaxation for General Numeric Planning.
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.
Proceedings of the Principles and Practice of Constraint Programming, 2016

Heuristic Search in Dual Space for Constrained Stochastic Shortest Path Problems.
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

Numeric Planning with Disjunctive Global Constraints via SMT.
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

RAO*: An Algorithm for Chance-Constrained POMDP's.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Reports from the 2015 AAAI Workshop Program.
AI Magazine, 2015

Distributed Multi-Period Optimal Power Flow for Demand Response in Microgrids.
Proceedings of the 2015 ACM Sixth International Conference on Future Energy Systems, 2015

Large Neighborhood Search for Energy Aware Meeting Scheduling in Smart Buildings.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2015

HVAC-Aware Occupancy Scheduling.
Proceedings of the Artificial Intelligence for Cities, 2015

HVAC-Aware Occupancy Scheduling.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Prioritizing Consumers in Smart Grid: A Game Theoretic Approach.
IEEE Trans. Smart Grid, 2014

Recent advances in unfolding technique.
Theor. Comput. Sci., 2014

Optimal AC Distribution Systems Reconfiguration.
Proceedings of the 2014 Power Systems Computation Conference, 2014

Optimal Planning with Global Numerical State Constraints.
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

2013
Planning with MIP for Supply Restoration in Power Distribution Systems.
Proceedings of the IJCAI 2013, 2013

Randomized Load Control: A Simple Distributed Approach for Scheduling Smart Appliances.
Proceedings of the IJCAI 2013, 2013

Prioritizing consumers in smart grid: Energy management using game theory.
Proceedings of IEEE International Conference on Communications, 2013

Residential Demand Response under Uncertainty.
Proceedings of the Principles and Practice of Constraint Programming, 2013

2012
AI@NICTA.
AI Magazine, 2012

Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice.
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.
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

Minimal Landmarks for Optimal Delete-Free Planning.
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

2010
A Decentralised Symbolic Diagnosis Approach.
Proceedings of the ECAI 2010, 2010

Cost-Optimal Factored Planning: Promises and Pitfalls.
Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010

2009
Advances in automated plan generation.
Artif. Intell., 2009

2008
Directed Unfolding of Petri Nets.
Trans. Petri Nets and Other Models of Concurrency, 2008

The Seventeenth International Conference on Automated Planning and Scheduling (ICAPS-07).
AI Magazine, 2008

2007
Factored Planning Using Decomposition Trees.
Proceedings of the IJCAI 2007, 2007

Planning via Petri Net Unfolding.
Proceedings of the IJCAI 2007, 2007

A Spectrum of Symbolic On-line Diagnosis Approaches.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Decision-Theoretic Planning with non-Markovian Rewards.
J. Artif. Intell. Res., 2006

Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4.
J. Artif. Intell. Res., 2006

Analyzing LTL Model Checking Techniques for Plan Synthesis and Controller Synthesis (Work in Progress).
Electr. Notes Theor. Comput. Sci., 2006

Concurrent Probabilistic Planning in the Graphplan Framework.
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

Estimating Search Tree Size.
Proceedings of the Proceedings, 2006

2005
Search Control in Planning for Temporally Extended Goals.
Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), 2005

Prottle: A Probabilistic Temporal Planner.
Proceedings of the Proceedings, 2005

Backbones and Backdoors in Satisfiability.
Proceedings of the Proceedings, 2005

2004
Exploiting First-Order Regression in Inductive Policy Selection.
Proceedings of the UAI '04, 2004

Symbolic Models for Diagnosing Discrete-Event Systems.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Decision-Theoretic Military Operations Planning.
Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), 2004

2003
An Automated Itinerary Planning System for Holiday Travel.
J. of IT & Tourism, 2003

Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards.
Proceedings of the UAI '03, 2003

In Defense of PDDL Axioms.
Proceedings of the IJCAI-03, 2003

GPT Meets PSR.
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.
Proceedings of the UAI '02, 2002

Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking.
Proceedings of the 15th Eureopean Conference on Artificial Intelligence, 2002

2001
Blocks World revisited.
Artif. Intell., 2001

2000
Combining Kalman Filtering and Markov Localization in Network-Like Environments.
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.
Proceedings of the ECAI 2000, 2000

1998
Alarm Processing and Reconfiguration in Power Distribution Systems.
Proceedings of the Tasks and Methods in Applied Artificial Intelligence, 1998

On the Hardness of Decision and Optimisation Problems.
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.
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.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1994
Turning an Action Formalism into a Planner - A Case Study.
J. Log. Comput., 1994

Turning an Action Formalism Into a Planner - Essentials of a Case Study.
Proceedings of the Methodologies for Intelligent Systems, 8th International Symposium, 1994

1993
A Stochastic Model of Actions and Plans for Anytime Planning under Uncertainty.
Proceedings of the Beiträge zum 7. Workshop Planen und Konfigrieren, 17.2.93, Hamburg, 1993


  Loading...