Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarSylvie Thiébaux
Person information
- affiliation: The Australian National University, Canberra, ACT, Australia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[j20]Sam Toyer, Sylvie Thiébaux, Felipe W. Trevizan, Lexing Xie:
ASNets: Deep Learning for Generalised Planning. J. Artif. Intell. Res. 68: 1-68 (2020)- [j19]Ahmad Attarha
, Paul Scott, Sylvie Thiébaux:
Affinely Adjustable Robust ADMM for Residential DER Coordination in Distribution Networks. IEEE Trans. Smart Grid 11(2): 1620-1629 (2020) - [c58]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: 384-393 - [c57]William Shen, Felipe W. Trevizan, Sylvie Thiébaux:
Learning Domain-Independent Planning Heuristics with Hypergraph Networks. ICAPS 2020: 574-584 - [c56]Ahmad Attarha, Paul Scott, Sylvie Thiébaux:
Network-aware Participation of Aggregators in NEM Energy and FCAS Markets. e-Energy 2020: 14-24
2010 – 2019
- 2019
- [j18]Paul Scott, Sylvie Thiébaux:
Identification of Manipulation in Receding Horizon Electricity Markets. IEEE Trans. Smart Grid 10(1): 1046-1057 (2019) - [j17]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): 6528-6537 (2019) - [c55]Buser Say, Scott Sanner, Sylvie Thiébaux:
Reward Potentials for Planning with Learned Neural Network Transition Models. CP 2019: 674-689 - [c54]William Shen, Felipe W. Trevizan, Sam Toyer, Sylvie Thiébaux, Lexing Xie:
Guiding Search with Generalized Policies for Probabilistic Planning. SOCS 2019: 97-105 - [i16]Buser Say, Scott Sanner, Sylvie Thiébaux:
Reward Potentials for Planning with Learned Neural Network Transition Models. CoRR abs/1904.09366 (2019) - [i15]Sam Toyer, Felipe W. Trevizan, Sylvie Thiébaux, Lexing Xie:
ASNets: Deep Learning for Generalised Planning. CoRR abs/1908.01362 (2019) - [i14]William Shen, Felipe W. Trevizan, Sylvie Thiébaux:
Learning Domain-Independent Planning Heuristics with Hypergraph Networks. CoRR abs/1911.13101 (2019) - 2018
- [j16]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: 373-431 (2018) - [c53]Sam Toyer, Felipe W. Trevizan, Sylvie Thiébaux, Lexing Xie:
Action Schema Networks: Generalised Policies With Deep Learning. AAAI 2018: 6294-6301 - [c52]Felipe W. Trevizan, Sylvie Thiébaux, Patrik Haslum:
Operator Counting Heuristics for Probabilistic Planning. IJCAI 2018: 5384-5388 - [c51]Peter Baumgartner, Sylvie Thiébaux, Felipe W. Trevizan:
Heuristic Search Planning With Multi-Objective Probabilistic LTL Constraints. KR 2018: 415-424 - 2017
- [c50]Felipe W. Trevizan, Sylvie Thiébaux, Patrik Haslum:
Occupation Measure Heuristics for Probabilistic Planning. ICAPS 2017: 306-315 - [c49]Enrico Scala, Patrik Haslum, Daniele Magazzeni, Sylvie Thiébaux:
Landmarks for Numeric Planning Problems. IJCAI 2017: 4384-4390 - [c48]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: 4954-4958 - [c47]Peter Baumgartner, Sylvie Thiébaux, Felipe W. Trevizan:
Tableaux for Policy Synthesis for MDPs with PCTL* Constraints. TABLEAUX 2017: 175-192 - [c46]Felipe W. Trevizan, Florent Teichteil-Königsbuch, Sylvie Thiébaux:
Efficient solutions for Stochastic Shortest Path Problems with Dead Ends. UAI 2017 - [i13]Miquel Ramírez, Enrico Scala, Patrik Haslum, Sylvie Thiébaux:
Numerical Integration and Dynamic Discretization in Heuristic Search Planning over Hybrid Domains. CoRR abs/1703.04232 (2017) - [i12]Peter Baumgartner, Sylvie Thiébaux, Felipe W. Trevizan:
Tableaux for Policy Synthesis for MDPs with PCTL* Constraints. CoRR abs/1706.10102 (2017) - [i11]Sam Toyer, Felipe W. Trevizan, Sylvie Thiébaux, Lexing Xie:
Action Schema Networks: Generalised Policies with Deep Learning. CoRR abs/1709.04271 (2017) - 2016
- [j15]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, 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 Magazine 37(3): 99-108 (2016) - [c45]Pedro Henrique de Rodrigues Quemel e Assis Santana, Sylvie Thiébaux, Brian Charles Williams:
RAO*: An Algorithm for Chance-Constrained POMDP's. AAAI 2016: 3308-3314 - [c44]Enrico Scala, Miquel Ramírez, Patrik Haslum, Sylvie Thiébaux:
Numeric Planning with Disjunctive Global Constraints via SMT. ICAPS 2016: 276-284 - [c43]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: 326-334 - [c42]BoonPing Lim, Hassan L. Hijazi, Sylvie Thiébaux, Menkes van den Briel:
Online HVAC-Aware Occupancy Scheduling with Adaptive Temperature Control. CP 2016: 683-700 - [c41]Enrico Scala, Patrik Haslum, Sylvie Thiébaux, Miquel Ramírez:
Interval-Based Relaxation for General Numeric Planning. ECAI 2016: 655-663 - [c40]Enrico Scala, Patrik Haslum, Sylvie Thiébaux:
Heuristics for Numeric Planning via Subgoaling. IJCAI 2016: 3228-3234 - [e3]Enrico Pontelli, Alex Rogers, Sylvie Thiébaux, Tran Cao Son:
AI for Smart Grids and Smart Buildings, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016. AAAI Workshops WS-16-04, AAAI Press 2016 [contents] - [e2]Daniele Magazzeni, Scott Sanner, Sylvie Thiébaux:
Planning for Hybrid Systems, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 13, 2016. AAAI Workshops WS-16-12, AAAI Press 2016 [contents] - 2015
- [c39]BoonPing Lim, Menkes van den Briel, Sylvie Thiébaux, Scott Backhaus, Russell Bent:
HVAC-Aware Occupancy Scheduling. AAAI 2015: 679-686 - [c38]BoonPing Lim, Menkes van den Briel, Sylvie Thiébaux, Scott Backhaus, Russell Bent:
HVAC-Aware Occupancy Scheduling. AAAI Workshop: AI for Cities 2015 - [c37]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: 240-254 - [c36]Paul Scott, Sylvie Thiébaux:
Distributed Multi-Period Optimal Power Flow for Demand Response in Microgrids. e-Energy 2015: 17-26 - [i10]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 Magazine 36(2): 90-101 (2015) - 2014
- [j14]Blai Bonet, Patrik Haslum, Victor Khomenko, Sylvie Thiébaux, Walter Vogler:
Recent advances in unfolding technique. Theor. Comput. Sci. 551: 84-101 (2014) - [j13]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): 1429-1438 (2014) - [c35]Franc Ivankovic, Patrik Haslum, Sylvie Thiébaux, Vikas Shivashankar, Dana S. Nau:
Optimal Planning with Global Numerical State Constraints. ICAPS 2014 - [c34]Hassan L. Hijazi, Sylvie Thiébaux:
Optimal AC Distribution Systems Reconfiguration. PSCC 2014: 1-7 - [i9]Paul Scott, Sylvie Thiébaux:
Dynamic Optimal Power Flow in Microgrids using the Alternating Direction Method of Multipliers. CoRR abs/1410.7868 (2014) - 2013
- [c33]Paul Scott, Sylvie Thiébaux, Menkes van den Briel, Pascal Van Hentenryck:
Residential Demand Response under Uncertainty. CP 2013: 645-660 - [c32]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: 4239-4243 - [c31]Sylvie Thiébaux, Carleton Coffrin, Hassan L. Hijazi, John K. Slaney:
Planning with MIP for Supply Restoration in Power Distribution Systems. IJCAI 2013: 2900-2907 - [c30]Menkes van den Briel, Paul Scott, Sylvie Thiébaux:
Randomized Load Control: A Simple Distributed Approach for Scheduling Smart Appliances. IJCAI 2013: 2915-2922 - [i8]Sylvie Thiébaux, Froduald Kabanza, John K. Slaney:
Anytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards. CoRR abs/1301.0606 (2013) - [i7]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 abs/1302.3608 (2013) - [i6]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 abs/1304.0992 (2013) - [i5]Wayes Tushar, Jian A. Zhang, David B. Smith, H. Vincent Poor, Sylvie Thiébaux:
Prioritizing Consumers in Smart Grid: A Game Theoretic Approach. CoRR abs/1312.0659 (2013) - 2012
- [j12]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 Magazine 33(3): 115- (2012) - [c29]Patrik Haslum, John K. Slaney, Sylvie Thiébaux:
Minimal Landmarks for Optimal Delete-Free Planning. ICAPS 2012 - [c28]Elena Kelareva, Sebastian Brand, Philip Kilby, Sylvie Thiébaux, Mark Wallace:
CP and MIP Methods for Ship Scheduling with Time-Varying Draft. ICAPS 2012 - [c27]Alban Grastien, Patrik Haslum, Sylvie Thiébaux:
Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice. KR 2012 - [i4]Charles Gretton, Sylvie Thiébaux:
Exploiting First-Order Regression in Inductive Policy Selection. CoRR abs/1207.4107 (2012) - [i3]Charles Gretton, David Price, Sylvie Thiébaux:
Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards. CoRR abs/1212.2482 (2012) - 2011
- [i2]Charles Gretton, Froduald Kabanza, David Price, John K. Slaney, Sylvie Thiébaux:
Decision-Theoretic Planning with non-Markovian Rewards. CoRR abs/1109.2355 (2011) - [i1]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 abs/1110.1016 (2011) - 2010
- [c26]Eric Fabre, Loïg Jezequel, Patrik Haslum, Sylvie Thiébaux:
Cost-Optimal Factored Planning: Promises and Pitfalls. ICAPS 2010: 65-72 - [c25]Anika Schumann, Yannick Pencolé, Sylvie Thiébaux:
A Decentralised Symbolic Diagnosis Approach. ECAI 2010: 99-104
2000 – 2009
- 2009
- [j11]Maria Fox, Sylvie Thiébaux:
Advances in automated plan generation. Artif. Intell. 173(5-6): 501-502 (2009) - 2008
- [j10]Mark S. Boddy, Maria Fox, Sylvie Thiébaux:
The Seventeenth International Conference on Automated Planning and Scheduling (ICAPS-07). AI Magazine 29(3): 116-119 (2008) - [j9]Blai Bonet, Patrik Haslum, Sarah L. Hickmott, Sylvie Thiébaux:
Directed Unfolding of Petri Nets. Trans. Petri Nets Other Model. Concurr. 1: 172-198 (2008) - 2007
- [c24]Anika Schumann, Yannick Pencolé, Sylvie Thiébaux:
A Spectrum of Symbolic On-line Diagnosis Approaches. AAAI 2007: 335-340 - [c23]Sarah L. Hickmott, Jussi Rintanen, Sylvie Thiébaux, Langford B. White:
Planning via Petri Net Unfolding. IJCAI 2007: 1904-1911 - [c22]Elena Kelareva, Olivier Buffet, Jinbo Huang, Sylvie Thiébaux:
Factored Planning Using Decomposition Trees. IJCAI 2007: 1942-1947 - [e1]Mark S. Boddy, Maria Fox, Sylvie Thiébaux:
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, ICAPS 2007, Providence, Rhode Island, USA, September 22-26, 2007. AAAI 2007, ISBN 978-1-57735-344-7 [contents] - 2006
- [j8]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): 91-104 (2006) - [j7]Sylvie Thiébaux, Charles Gretton, John K. Slaney, David Price, Froduald Kabanza:
Decision-Theoretic Planning with non-Markovian Rewards. J. Artif. Intell. Res. 25: 17-74 (2006) - [j6]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: 453-541 (2006) - [c21]Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh:
Estimating Search Tree Size. AAAI 2006: 1014-1019 - [c20]Iain Little, Sylvie Thiébaux:
Concurrent Probabilistic Planning in the Graphplan Framework. ICAPS 2006: 263-273 - 2005
- [j5]Sylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel:
In defense of PDDL axioms. Artif. Intell. 168(1-2): 38-69 (2005) - [c19]Iain Little, Douglas Aberdeen, Sylvie Thiébaux:
Prottle: A Probabilistic Temporal Planner. AAAI 2005: 1181-1186 - [c18]Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh:
Backbones and Backdoors in Satisfiability. AAAI 2005: 1368-1373 - [c17]Froduald Kabanza, Sylvie Thiébaux:
Search Control in Planning for Temporally Extended Goals. ICAPS 2005: 130-139 - 2004
- [c16]Douglas Aberdeen, Sylvie Thiébaux, Lin Zhang:
Decision-Theoretic Military Operations Planning. ICAPS 2004: 402-412 - [c15]Anika Schumann, Yannick Pencolé, Sylvie Thiébaux:
Symbolic Models for Diagnosing Discrete-Event Systems. ECAI 2004: 1085-1086 - [c14]Charles Gretton, Sylvie Thiébaux:
Exploiting First-Order Regression in Inductive Policy Selection. UAI 2004: 217-225 - 2003
- [j4]Simon Dunstall, Mark E. T. Horn, Philip Kilby, Mohan Krishnamoorthy, Bowie Owens, David Sier, Sylvie Thiébaux:
An Automated Itinerary Planning System for Holiday Travel. J. of IT & Tourism 6(3): 195-210 (2003) - [c13]Blai Bonet, Sylvie Thiébaux:
GPT Meets PSR. ICAPS 2003: 102-112 - [c12]Sylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel:
In Defense of PDDL Axioms. IJCAI 2003: 961-968 - [c11]Charles Gretton, David Price, Sylvie Thiébaux:
Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards. UAI 2003: 289-296 - 2002
- [c10]Piergiorgio Bertoli, Alessandro Cimatti, John K. Slaney, Sylvie Thiébaux:
Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking. ECAI 2002: 576-580 - [c9]Sylvie Thiébaux, Froduald Kabanza, John K. Slaney:
Anytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards. UAI 2002: 501-510 - 2001
- [j3]John K. Slaney, Sylvie Thiébaux:
Blocks World revisited. Artif. Intell. 125(1-2): 119-153 (2001) - 2000
- [c8]John K. Slaney, Sylvie Thiébaux, Philip Kilby:
Estimating the Hardness of Optimisation. ECAI 2000: 123-130 - [c7]Sylvie Thiébaux, Peter Lamb:
Combining Kalman Filtering and Markov Localization in Network-Like Environments. PRICAI 2000: 756-766
1990 – 1999
- 1998
- [c6]John K. Slaney, Sylvie Thiébaux:
On the Hardness of Decision and Optimisation Problems. ECAI 1998: 244-248 - [c5]Marie-Odile Cordier, Jean-Paul Krivine, Philippe Laborie, Sylvie Thiébaux:
Alarm Processing and Reconfiguration in Power Distribution Systems. IEA/AIE (Vol. 2) 1998: 230-241 - 1996
- [c4]John K. Slaney, Sylvie Thiébaux:
Linear Time Near-Optimal Planning in the Blocks World. AAAI/IAAI, Vol. 2 1996: 1208-1214 - [c3]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. UAI 1996: 525-532 - 1995
- [j2]Sylvie Thiébaux, Joachim Hertzberg, William D. Shoaff, Moti Schneider:
A stochastic model of actions and plans for anytime planning under uncertainty. Int. J. Intell. Syst. 10(2): 155-183 (1995) - 1994
- [j1]Joachim Hertzberg, Sylvie Thiébaux:
Turning an Action Formalism into a Planner - A Case Study. J. Log. Comput. 4(5): 617-654 (1994) - [c2]Joachim Hertzberg, Sylvie Thiébaux:
Turning an Action Formalism Into a Planner - Essentials of a Case Study. ISMIS 1994: 305-314 - 1993
- [c1]Sylvie Thiébaux, Joachim Hertzberg, William D. Shoaff, Moti Schneider:
A Stochastic Model of Actions and Plans for Anytime Planning under Uncertainty. PuK 1993: 51-62
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org and opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy.
Citation data
Add a list of citing articles from to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2020-07-05 02:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
