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
showing all ?? records
2010 – today
- 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-Knigsbuch, 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 N. Dilkina, Eric Eaton, Pooyan Fazli, Sam Ganzfried, Marius Thomas Lindauer, Marlos C. Machado, Yuri Malitsky, Gary Marcus, Sebastiaan 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]
- [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 and Other Models of Concurrency 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). Electr. 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]
- [c12]
- [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]
- 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
maintained by 
at 
at 
last updated on 2018-11-09 15:23 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint