Professor Sylvie Thiebaux

Professor

AAAI Fellow

Hanna Neumann Blg (145), 3.23

sylvie.thiebaux@anu.edu.au

+61 2 6125 8678

Bio
Duties
Research interests
Research projects
Student projects
Publications
PhD Students
Courses
Awards

I am a professor of Computer Science at ANU. I received a PhD in computer science from the university of Rennes and CNRS in 1995, and before joining the ANU, I held research appointments with the national research centers INRIA in France and with CSIRO in Australia. In the recent past, I was the director of NICTA's Canberra Laboratories, home to 150 researchers and PhD students, and the Associate Dean Research for the College of Engineering and Computer Science. I am a co-Editor in Chief of the Artificial Intelligence journal (AIJ), a former president of the International Conference on Automated Planning and Scheduling (ICAPS), associate editor of JAIR, and Councilor of the Association for the Advancement of Artificial Intelligence (AAAI).

University:

Member of numerous selection and tenure committees, ANU, NICTA, 2001 -- present
Executive board member, ANU Energy Change Institute, 2016 -- present
Associate Dean Research (50\% shared), mid 2015 -- mid 2016
Member CECS Research Committee, 2015 -- mid 2016
Member University Promotions Committee, ANU 2014 -- 2015
Member University Europe Reference Group, ANU, 2014 -- present
Research Leader, Optimisation Research Group, NICTA, 2012 -- mid 2016
Member CECS Dean selection committee, ANU, 2014
Graduate Convenor, RSCS, 2012
Optimisation (acting) Research Group Leader, NICTA, 2011
Canberra Laboratory Director, NICTA, 2009 -- 2011
Member CECS Dean selection committee, ANU, 2007
Member of College Advisory Board, CECS, 2006 -- 2007
KRR Program, Deputy Leader, NICTA, 2004 -- 2006.
Chair of Faculty, RSISE, 2004 -- 2005
Member Faculty Board, RSISE, 2004 -- 2005
Member Institute of Advanced Studies Forum, 2004 -- 2005

My interests are in artificial intelligence and optimisation, in particular automated planning and scheduling, model-based diagnosis, combinatorial optimisation and search, reasoning under uncertainty, and their applications to energy and transport. I have published over 100 papers in these areas. For details, see my home page.

Lead

Current student projects

Supervisor

Potential student projects

Advisor

List of researchers working in AI Planning

Publications in the past 5 years:

A. Attarha, P. Scott, S. Thiébaux. Affinely Adjustable Robust ADMM for Residential DER Coordination in Distribution Networks. IEEE Transactions on Smart Grid, September 2019. [pdf] (accepted version) © IEEE.
B. Say, S. Sanner, S. Thiébaux. Reward Potentials for Planning with Learned Neural Network Transition Models. 25th International Conference on Principles and Practice of Constraint Programming (CP-19), Springer, Stamford, CT (USA), September 2019. [pdf] © Springer.
W. Shen, F. Trevizan, S. Toyer, S. Thiébaux, L. Xie: Guiding Search with Generalized Policies for Probabilistic Planning. 12th Annual Symposium on Combinatorial Search (SOCS-19). Napa, CA (USA), July 2019. [pdf] © AAAI Press.
P. Scott, D. Gordon, E. Franklin, L. Jones, S. Thiébaux. Network-Aware Coordination of Residential Distributed Energy Resources. IEEE Transactions on Smart Grid, March 2019. [pdf] (accepted version) © IEEE.
P. Baumgartner, S. Thiébaux, F. Trevizan. Heuristic Search Planning With Multi-Objective Probabilistic LTL Co
F. Trevizan, S. Thiébaux, P. Haslum. Operator Counting Heuristics for Probabilistic Planning. 27th International Joint Conference on Artificial Intelligence (IJCAI-18), Sisters Conference Best Paper Track, Stockholm (Sweden), July 2018. [pdf] © IJCAI.
P. Haslum, F. Ivankovic, M. Ramirez, D. Gordon, S. Thiébaux, V. Shivashankar, D. Nau. Extending Classical Planning with State Constraints: Heuristics and Search for Optimal Planning. Journal of Artificial Intelligence Research 62:373-431, June 2018. [pdf] © AI Acces Foundation
S. Toyer, F. Trevizan, S. Thiébaux and L. Xie. Action Schema Networks: Generalised Policies with Deep Learning 32nd AAAI Conference on Artificial Intelligence (AAAI-18), AAAI Press, New Orleans, LA (USA), February 2018. [pdf] © AAAI Press.
P. Scott and S. Thiébaux. Identification of Manipulation in Receding Horizon Electricity Markets. IEEE Transactions on Smart Grid, October 2017. [pdf] (accepted version) © IEEE.
P. Baumgartner, F. Trevizan and S. Thiébaux. Tableaux for policy synthesis for MDPs with PCTL* constraints. 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux-17), Brazilia (Brazil), September 2017. [pdf] © Springer.
F. Trevizan, F. Teichteil-Koenigsbuch and S. Thiébaux. Efficient solutions for stochastic shortest path problems with dead ends. 33rd International Conference on Uncertainty in Artificial Intelligence (UAI-17), Sydney (Australia), August 2017. [pdf]
E. Scala, P. Haslum, Daniele Magazzeni and S. Thiébaux. Landmarks for Numeric Planning Problems. 26th International Joint Conference on Artificial Intelligence (IJCAI-17), Melbourne (Australia), August 2017.
F. Trevizan, S. Thiébaux, P. Santana and Brian Williams. I-dual: Solving constrained SSPs via Heuristic Search in the Dual Space. 26th International Joint Conference on Artificial Intelligence (IJCAI-17), Sisters Conference Best Paper Track (IJCAI-17), Melbourne (Australia), August 2017. [pdf]
F. Trevizan, S. Thiébaux, and P. Haslum. Occupation Measure Heuristics for Probabilistic Planning. 27th International Conference on Automated Planning and Scheduling (ICAPS-17), AAAI Press, Pittsburgh (PA, USA), June 2017. [pdf] © AAAI Press. Outstanding Paper Award.
B.-P. Lim, H. Hijazi, S. Thiébaux, M. van den Briel. Online HVAC-Aware Occupancy Scheduling with Adaptive Temperature Control. 22nd International Conference on Principles and Practice of Constraint Programming (CP-16), Springer, Toulouse (France), September 2016. [pdf] © Springer.
E. Scala, P. Haslum and S. Thiébaux. Interval-Based Relaxation for General Numeric Planning. 22nd European Conference on Artificial Intelligence (ECAI-16), IOS Press, The Hague (The Netherlands), September 2016. [pdf] © IOS Press.
E. Scala, P. Haslum and S. Thiébaux. Heuristics for Numeric Planning via Subgoaling. International Joint Conference on Artificial Intelligence (IJCAI-16), AAAI Press, New York, NY (USA), July 2016. [pdf] © AAAI Press.
F. Trevizan, S. Thiébaux, P. Santana and Brian Williams. Heuristic Search in Dual Space for Constrained Stochastic Shortest Path Problems. 26th International Conference on Automated Planning and Scheduling (ICAPS-16), AAAI Press, London (UK), June 2016. [pdf] © AAAI Press. Outstanding Paper Award.
M. Ramirez, E. Scala, P. Haslum and S. Thiébaux. Numeric Planning with Disjunctive Global Constraints via SMT. 26th International Conference on Automated Planning and Scheduling (ICAPS-16), AAAI Press, London (UK), June 2016. [pdf] © AAAI Press.
P. Santana, S. Thiébaux and Brian Williams. RAO*: an Algorithm for Chance-Constrained POMDP's. 30th AAAI Conference on Artificial Intelligence (AAAI-16), AAAI Press, Phoenix, AZ (USA), February 2016. [pdf] © AAAI Press.
P. Scott and S. Thiébaux. Distributed Multi-Period Optimal Power Flow for Demand Response in Microgrids. 6th International Conference on Future Energy Systems (ACM e-Energy-15) ACM, Bangalore (India), July 2015. [pdf] © ACM. Best Paper Award.
B.P. Lim, M. van den Briel, S. Thiébaux, R. Bent and S. Backhaus. Large Neighborhood Search for Energy Aware Meeting Scheduling in Smart Buildings. 12th International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming (CPAIOR-15), Springer, Barcelona (Spain), May 2015. [pdf] © Springer
B.P. Lim, M. van den Briel, S. Thiébaux, S. Backhaus and R. Bent. HVAC-Aware Occupancy Scheduling. 29th AAAI Conference on Artificial Intelligence, (AAAI-15), AAAI Press, Austin, TX (USA), January 2015. [pdf] © AAAI Press.
B. Bonet, P. Haslum, V. Komenkho, S. Thiébaux and W. Vogler. Recent Advances in Unfolding Technique. Theoretical Computer Science, 551:84-101, September 2014. [pdf] © Elsevier
H. Hijazi and S. Thiébaux. Optimal AC Distribution Systems Reconfiguration. 18th Power Systems Computation Conference (PSCC-14), IEEE, Wroclaw (Poland), August 2014. [pdf] © IEEE. Distinguished Paper.
F. Ivankovic, P. Haslum, S. Thiébaux, V. Shivashankar, and D.S. Nau. Optimal Planning with Global Numerical State Constraints. 24th International Conference on Automated Planning and Scheduling (ICAPS-14), AAAI Press, Portsmouth, NH (USA), June 2014. [pdf] © AAAI Press. Outstanding Student Paper Award.
W. Tushar, J. Zhang, D. Smith, H. V. Poor and S. Thiébaux. Prioritizing Consumers in Smart Grid: A Game Theoretic Approach. IEEE Trans. Smart Grid 5(3): 1429-1438, May 2014. [pdf] © IEEE. Earlier version Best Paper Award at IEEE ICC 2013.
P. Scott, S. Thiébaux, M. van den Briel, and P. Van Hentenryck. Residential Demand Response under Uncertainty. 19th International Conference on Principles and Practice of Constraint Programming (CP-13), Springer, Uppsala (Sweden), September 2013. Preliminary version in IJCAI-13 Workshop on Constraint Reasoning, Planning and Scheduling Problems for a Sustainable Future (GREEN-COPLAS'13). [pdf (COPLAS version)] © Springer
S. Thiébaux, C. Coffrin, H. Hijazi, and J. Slaney. Planning with MIP for Supply Restoration in Power Distribution Systems. 23rd International Joint Conference on Artificial Intelligence (IJCAI-13), AAAI Press, Beijing (China), August 2013. [pdf] © IJCAI
M. van den Briel, P. Scott, and S. Thiébaux. Randomized Load Control: A Simple Distributed Approach for Scheduling Smart Appliances. 23rd International Joint Conference on Artificial Intelligence (IJCAI-13), AAAI Press, Beijing (China), August 2013. [pdf] © IJCAI
E. Kelareva, S. Brand, P. Kilby, S. Thiébaux, and M. Wallace. CP and MIP Methods for Ship Scheduling with Time-Varying Draft. 22nd International Conference on Automated Planning and Scheduling (ICAPS-12), AAAI Press, Atibaia (Brazil), June 2012. [pdf] © AAAI Press.
P. Haslum, J. Slaney, and S. Thiébaux. Minimal Landmarks for Optimal Delete-Free Planning. 22nd International Conference on Automated Planning and Scheduling (ICAPS-12), AAAI Press, Atibaia (Brazil), June 2012. [pdf] © AAAI Press
A. Grastien, P. Haslum, and S. Thiébaux. Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice. 13th International Conference on Principles of Knowledge Representation and Reasoning (KR-12), AAAI Press, Rome (Italy), June 2012. [pdf] © AAAI Press