Professor Artificial Intelligence Group College of Engineering & Computer Science The Australian National University E-mail: Telephone: (+61) 2 6125 8678 Address: Hanna Neumann Building, 145 Science Road, ANU, Canberra ACT 2600

I have held appointments with INRIA and CSIRO. Since 2001, I have been with the Australian National University, and from 2003 to 2018, I was a contributor to National ICT Australia (wich became Data61 in 2016). In 2008, I was on long service leave and on sabbatical at LAAS-CNRS. In 2009-2011, I was NICTA's Canberra Laboratory director (150 staff and PhD students).

I am a AAAI Fellow and Co-Editor in Chief of the Artificial Intelligence journal.

Research Interests

I am a member of ANU's Planning and Optimisation Group which is part of of the Artificial Intelligence Area. My interests within AI include planning, scheduling, model-based diagnosis, search, and reasoning under uncertainty. My current research focuses on developing planning, scheduling, and diagnosis techniques that can handle larger and more complex problems featuring uncertainty, mixed discrete-continuous dynamics, and coordination among multiple entities. I am investigating applications of these techniques to future energy systems.

Recent Awards

• 2020: Outstanding Senior Program Committee Member, AAAI Conference on Artificial Intelligence (AAAI)
• 2018: Energy Networks Industry Innovation Award, Energy Networks Australia (to the CONSORT project)
• 2018: Tasmanian Engineering Excellence Award, Engineers Australia (to the CONSORT project)
• 2018: Outstanding Lead PC Member, Int. Conf. Automated Planning & Scheduling (ICAPS)
• 2018: Business Community Engagement Award, Australian Clean Energy Council (to the CONSORT project)
• 2018: Energy Project of the Year, The Electrical Energy Society of Australia (to the CONSORT project)
• 2017: Best paper award, Int. Conf. Automated Planning and Scheduling (ICAPS)
• 2016: Best paper award, Int. Conf. Automated Planning and Scheduling (ICAPS)
• 2015: Best paper award, Int. Conf. Future Energy Systems (ACM e-Energy)
• 2014: Distinguished paper, Power Systems Computation Conference (PSCC)
• 2014: Best student paper award, Int. Conf. Automated Planning and Scheduling (ICAPS)
• 2013: Best paper award, IEEE Int. Conf. Communications - Selected Areas in Communications Symposium (ICC-SAC)

Research Projects

• ARC discovery project DP220103815 "AI Planning: The Next Generation" (2022-present)
• ARC discovery project DP180103446 "On-line planning for constrained autonomous agents in an uncertain world" (2018-2021)
• ARC discovery project DP140104219 "Robust AI Planning for Hybrid Systems" (2014-2018).
• ARC discovery project DP0985532 "Exploiting Structure in AI Planning" (2009-2012).
• ARC discovery project DP0453090 "Where the really hard problems are - Beyond the decision case" (2004-2007).

• ANU Grand Challenge project Humanising Machine Intelligence (2019-present).
  The project is uniting computer scientists, philosophers, and social scientists in the pursuit of a more ethical future for AI and Machine Learning.
  
  
• NICTA project "Optimisation for Future Energy Systems" (2012-2016).
  The focus of the project was the design and implementation the planning and optimisation algorithms required to operate smart energy grids reliably and economically.
  
  
• NICTA project "SuperCom: Model-Based Supervision of Composite systems" (2006-2008).
  The project has developed a spectrum of model-based methods for monitoring and diagnosing distributed dynamic systems. These methods rely on decentralised reasoning, symbolic representations, and model compilation.
  
  
• NICTA project "DPOLP: Dynamic Planning, Optimisation and Learning Project" (2004-2008).
  DPOLP has made a number of significant contributions to building tools for planning with time and uncertainty, and to bridging the gap between Petri nets analysis, planning/heuristic search in artificial intelligence, and statistical machine learning.

• HORIZON EU project TUPLES: Trustworthy Planning and Scheduling with Learning and Explanations (to start in October 2022).
  The project involves ANITI/Federal University of Toulouse, KU Leuven, Saarland University, University of Bologna, Airbus, Optit, and SciSports. It aims to obtain scalable, yet transparent, robust and safe hybrid algorithmic solutions for planning \& scheduling and demonstrate them on a number of use cases in manufacturing, aircraft operations, sport management, waste collection, and energy management.
  
  
• ARENA project "Optimal DER Scheduling for Frequency Stability" (February 2019-present).
  The project involves UTAS (lead), ANU, Tasnetworks, Powerlink Queensland, and Technische Universitaet Berlin, and is also supported by the Australian-German Energy Transition Hub. It developed approaches enabling consumer-owned DER to participate in the Energy and Frequency Control Anciliary Service (FCAS) market whilst complying with distribution network constraints.
  
  
• Airbus Central Research and Technology collaborative research project DONUT (2018-2019).
  The project focused on planning and scheduling under uncertainty for aircraft and satellite applications. One of the published outcomes are approaches for 4D flight planning under whether uncertainty, fuel consumption and other constraints.
  
  
• ARENA project "CONSORT: Consumer Energy Systems Providing Cost-Effective Grid Support" (2016-2019). This is also known as the Bruny Island Battery Trial.
  CONSORT was a collaboration between ANU, Tasmanian Networks, Reposit Power, The University of Sydney, and The University of Tasmania. The project developed and deployed network-aware coordination (NAC), a distributed approach for automatically coordinating consumer-owned PV-battery systems, so that they simultaneously provide network support and value to their owners. It trialled NAC on Bruny Island, Tasmania, to reduce the use of diesel using peak events, and assessed the network's and households' response to the technology as well as various payment structures. See video and the project's final reports
  
  
• AFOSR project FA2386-15-1-4015 "Mission Plans under Risk Bounds" (2015-2018).
  The project researches algorithms that support the construction of risk-bounded mission plans, formulated as constrained stochastic shortest path problems (CSSPs) with probabilistic temporal logic objectives. The outcomes are the first heuristic search algorithms for CSSPs (i-dual and i^2-dual), the first probability-aware heurstics for SSPs and CSSPs (hpom and hroc), and extensions of these to multi-objective probabilistic LTL constraints.
  
  
• ACTEW-AGL ANU Endowment project "Modelling and Simulation of Microgrids" (2013-2014).
  With additional support from NICTA, the project built SmartGridToolbox, an extensible and interfaceable smart grid and microgrid simulator, suitable to generate and evaluate a range of control, optimisation and demand management strategies.

Professional Activities

Service to the community:

• Artificial Intelligence journal: co-Editor in Chief since January 2019, Associate Editor 2015-2018; Guest Editor special issue of Advances in Automated Plan Generation Systems 2009
• The Journal of Artificial Intelligence Research: Associate Editor until 2013
• The International Conference on Automated Planning and Scheduling: President 2012-2014, ICAPS-22 (Program Co-Chair), ICAPS-20, ICAPS-19, ICAPS-18, ICAPS-17, ICAPS-16, ICAPS-15, ICAPS-14, ICAPS-13, ICAPS-12, ICAPS-11, ICAPS-10, ICAPS-09, ICAPS-08, ICAPS-07 (Co-Chair), ICAPS-06, ICAPS-05, ICAPS-04 (Tutorials Chair), ICAPS-03, AIPS-02, ECP-01, ECP-99 and ECP-97.
• The European Conference on Artificial Intelligence: ECAI-18 (Area Chair), ECAI-14 (SPC), ECAI-12, ECAI-08 (Area Chair), ECAI-06.
• The International Joint Conference on Artificial Intelligence: IJCAI-21 (Area Chair), IJCAI-20 (Area Chair), IJCAI-19 (SPC, Advisory Board Member), IJCAI-18 (Area Chair), IJCAI-17 (SPC), IJCAI-16 (SPC), IJCAI-15 (SPC), IJCAI-13, IJCAI-11 (Advisory Board Member), IJCAI-09 (Workshops Chair), IJCAI-07.
• The Association for the Advancement of Artificial Intelligence: Councilor 2013-2016 AAAI-21 (Area Chair), AAAI-19 (SPC, Award Committee Member), AAAI-18 (Area Chair), AAAI-17, AAAI-16, AAAI-15, AAAI-12, AAAI-11, AAAI-10, AAAI-06, AAAI-02.
• The International Conference on Future Energy Systems (ACM e-Energy): ACM e-Energy-22. ACM e-Energy-19, ACM e-Energy-18.
• The Australian Joint Conference on Artificial Intelligence: AI-15 (Conference co-Chair), AI-13 (SPC), AI-03, AI-02 and and AI-98
• The International Conference on Principles and Practice of Constraint Programming: CP-17.
• The German Conference on Artificial Intelligence: KI-05, KI-04.
• The Workshop on Model-Checking in Artificial Intelligence: MoChArt-05, MoChArt-03, MoChArt-02
• AAAI workshops:
  • PlanHS: AAAI-16 Workshop on Planning for Hybrid Systems (co-Chair)
  • AAAI-16 Workshop on Artificial Intelligence for Smart Grids and Smart Buildings (co-Chair)
  • PlanSOpt: AAAI-15 Workshop on Planning, Search, and Optimisation (Co-Chair)
• ICAPS/AIPS Workshops:
  • ICAPS-03 workshop on PDDL (co-Chair)
  • AIPS-02 workshop on Planning as Model-Checking (co-Chair)
• The Conference of Australian Institutes of Transport Research CAITR-00 (Chair).
• AIIA – Australian Information Industry Association: ACT committee member (elected), 2010-2011

Service to the university:

• Executive board member, ANU Energy Change Institute, 2016 -- 2018
• Associate Dean Research (50% shared), CECS, 2015 -- 2016
• Member University Research Committee, ANU, 2015 -- 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
• Member of CECS Promotions Committee, ANU, 2011 -- 2012
• 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

ANU: See the projects I am offering and information about competitive PhD scholarships.

Federal University of Toulouse: two PhD scholarships are currently available.

Current Students:

• Ahmad Attarah is finishing his PhD on Network-Secure Consumer Bidding in Energy and Reserve Markets.
• Mahdi Noori is finishing his PhD on Active Management of Voltage Control Devices in PV-Rich Distribution Systems.

Past Students:

• Mark Burgess, PhD, ANU, 2022. Now researcher at ANU.
• Doug Aberdeen, PhD, ANU, 2003. Now researcher at Google.
• Charles Gretton, Honours, ANU, 2002. PhD, ANU, 2006. Now researcher at NICTA.
• Ayman Ghoneim, PhD, ANU, 2013. Now lecturer at Cairo University.
• Jean-Marc Guinnebault, PhD, University of Rennes, 1998. Now Implementation Leader and Release Manager at Dassault Systems.
• Sarah Hickmott, PhD, University of Adelaide, 2008. Now Researcher at RMIT University.
• Priscilla Kan-John, PhD, ANU, 2013. Now Research and Business Devlopment Manager at ANU.
• Elena Kelareva, PhD, ANU 2015. Now Product Manager at Google
• Karsten Lehmann, PhD, ANU 2017. Now Scientist at Satalia
• Boon Ping Lim, PhD, ANU, 2017. Now researcher at Data61
• Iain Little, Honours, ANU, 2004.
• David Price, Honours, ANU, 2002. Now software engineer at Google.
• Anika Schumann, Masters, University of Rostock, 2003, PhD, ANU, 2008. Now researcher at IBM Research.
• Paul Scott PhD, ANU, 2016. Now researcher at ANU.
• Samuel Toyer Honours and university medalist, ANU, 2018. Now PhD student at Berkeley
• I was also Panel Chair for Ksenija Bestuzheva, Yi Huang, Shamin Kinathil and an Advisor for Mohammad Abdulaziz, Jing Cui, Franc Ivankovic, and Terrence Mak.

• C. Evans, C. Benn, I. Ojea Quintana, P. Robinson, and S. Thiébaux. Stochastic Policies in Morally Constrained (C-)SSPs. 5th AAAI/ACM Conference on AI, Ethics, and Society (AIES-22), Oxford (UK), July 2022. [pdf]


• F. Geißer, P. Haslum, S. Thiébaux, and F. Trevizan. Admissible Heuristics for Multi-Objective Planning. 32nd International Conference on Automated Planning and Scheduling (ICAPS-22) June 2022. [pdf] © AAAI Press


• A. Attarha, M. Noori, P. Scott, and S. Thiébaux. Network-Secure Envelopes Enabling Reliable DER Bidding in Energy and Reserve Markets. IEEE Transactions on Smart Grid, 13:3, May 2022. [pdf] © IEEE


• A. Grastien and C. Benn and S. Thiébaux. Computing Plans that Signal Normative Compliance. 4th AAAI/ACM Conference on AI, Ethics, and Society (AIES-21), May 2021. [pdf] © ACM


• A. Attarha and P. Scott and José Iria and S. Thiébaux. Network-Secure and Price-Elastic Aggregator Bidding in Energy and Reserve Markets. IEEE Transactions on Smart Grid 12:3, May 2021. [pdf] © IEEE.


• I. Mallett and S. Thiébaux and F. Trevizan. Progression Heuristics for Planning with Probabilistic LTL Constraints. 35th AAAI Conference on Artificial Intelligence (AAAI-21), February 2021. [pdf] © AAAI Press.


• S.M.N.R Abadi and A. Attarha and P. Scott and S. Thiébaux. Affinely Adjustable Robust Volt/Var Control for Distribution Systems with High PV Penetration. IEEE Transactions on Power Systems, November 2020. [pdf] © IEEE.


• E. Scala, P. Haslum, S. Thiébaux, M. Ramirez. Subgoaling Techniques for Satisficing and Optimal Numeric Planning. Journal of Artificial Intelligence Research 68:691-752, August 2020. [pdf] © AI Acces Foundation


• A. Attarha, P. Scott, S. Thiébaux. Network-aware Participation of Aggregators in NEM Energy and FCAS Markets. 11th International Conference on Future Energy Systems (ACM e-Energy-20) [pdf] © ACM, Melbourne (Australia), June 2020.


• W. Shen, P. Trevizan, S. Thiébaux. Learning Planning Heuristics with Hypergraph Networks. 30th International Conference on Automated Planning and Scheduling (ICAPS-20), AAAI Press, Nancy (France), June 2020. [pdf] © AAAI Press.


• F. Geißer, Guillaume Poveda, Felipe Trevizan, Manon Bonduy, Florent Teichteil-Koenigsbuch, S. Thiébaux. Optimal and Heuristic Approaches for Constrained Flight Planning under Weather Uncertainty. 30th International Conference on Automated Planning and Scheduling (ICAPS-20), AAAI Press, Nancy (France), June 2020. [pdf] © AAAI Press.


• A. Attarha, P. Scott, S. Thiébaux. Network-aware Co-optimisation of Residential DER in Energy and FCAS Markets. 21st Power Systems Computation Conference (PSCC-20), Porto (Portugal), June 2020, [pdf] © IEEE.


• S. Toyer, S. Thiébaux, F. Trevizan, L. Xie. ASNets: Deep Learning for Generalised Planning. Journal of Artificial Intelligence Research 68:1-68, May 2020. [pdf] © AI Acces Foundation


• A. Attarha, P. Scott, S. Thiébaux. Affinely Adjustable Robust ADMM for Residential DER Coordination in Distribution Networks. IEEE Transactions on Smart Grid, March 2020. [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 Constraints. 16th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2018) 415-424, Tempe, AZ (USA), October 2018. [pdf] © AAAI Press.
  
  Correction: The complexity result in Theorem 4 is incorrect. The incorrectnes is based on an oversight in the use of a Tseitin-style CNF transformation when progressing LTL formulas to the next state. A correct progression-based algorithm, of higher complexity though, employs standard CNF instead. The soundness theorem (Theorem 5), and completeness theorem (Theorem 6) still apply with that correction. Moreover, and importantly, it is such a correct version that we had implemented and used in our experiments. The experimental results, hence, are not affected by the incorrectnes, and neither are the other results.


• 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. [pdf] © IJCAI.


• 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, Melbourne (Australia), August 2017. [pdf] © IJCAI.


• 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. 25th 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


• E. Fabre, L. Jezequel, P. Haslum, and S. Thiébaux. Cost-Optimal Factored Planning: Promises and Pitfalls. 20th International Conference on Automated Planning and Scheduling (ICAPS-10), AAAI Press, Toronto (Canada), May 2010. [pdf] © AAAI Press


• A. Schumann, Y. Pencolé, and S. Thiébaux. A Decentralised Symbolic Diagnosis Approach. 19th European Conference on Artificial Intelligence (ECAI-10), IOS Press, Lisbon (Portugal), August 2010. [pdf] © the authors


• B. Bonet, P. Halsum, S. Hickmott, and S. Thiébaux. Directed Unfolding of Petri Nets. Transactions on Petri Nets and other Models of Concurrency (TopNoc), 2008. [pdf] © Springer


• I. Little and S. Thiébaux. Probabilistic Planning vs Replanning ICAPS Workshop International Planning Competition: Past, Present and Future, 2007. [pdf]


• B. Bonet, P. Halsum, S. Hickmott, and S. Thiébaux. Planning Via Petri Net Unfolding: Generalisation and Improvements. Submitted for publication, 2007. [pdf]


• S. Hickmott, J. Rintanen, S. Thiébaux, and L. White. Planning via Petri Net Unfolding. 20th International Joint Conference on Artificial Intelligence (IJCAI-07). [pdf] © IJCAI Best Paper Award Nomination.


• E. Kelareva, O. Buffet, J. Huang, and S. Thiébaux. Factored Planning Using Decomposition Trees. 20th International Joint Conference on Artificial Intelligence (IJCAI-07). [pdf] © IJCAI


• J. Hoffmann, S. Edelkamp, S. Thiébaux, R. Englert, F. Liporace, and S. Trueg. Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of the IPC-4. Journal of Artificial Intelligence Research 26:453-541, August 2006. [pdf] © AI Acces Foundation


• A. Schumann, Y. Pencolé, and S. Thiébaux. A Spectrum of On-line Symbolic Diagnosis Approaches. 22nd American National Conference on Artificial Intelligence (AAAI-07), AAAI Press, Vancouver (Canada), July 2007. [pdf] © AAAI Press


• I. Little and S. Thiébaux. Concurrent Probabilistic Planning in the Graphplan Framework. 16th International Conference on Automated Planning and Scheduling (ICAPS-06), AAAI Press, Cumbria (UK), June 2006. [ pdf] © AAAI Press


• S. Thiébaux, C. Gretton, J. Slaney, D. Price, and F. Kabanza. Decision-Theoretic Planning with non-Markovian Rewards. Journal of Artificial Intelligence Research 25:17-74, January 2006. [pdf] © AI Acces Foundation


• P. Kilby, J. Slaney, S. Thiébaux and T. Walsh. Estimating Search Tree Size. 21th American National Conference on Artificial Intelligence (AAAI-06), AAAI Press, Boston (USA), July 2006. [ pdf] © AAAI Press


• S. Thiébaux, J. Hoffmann and B. Nebel. In Defense of PDDL Axioms. Artificial Intelligence 168(1-2):38-69, Elsevier, October 2005. [pdf] © Elsevier


• I. Little, D. Aberdeen, and S. Thiébaux. Prottle: A Probabilistic Temporal Planner. 20th American National Conference on Artificial Intelligence (AAAI-05), AAAI Press, Pittsburgh (USA), July 2005. [ pdf] © AAAI Press


• F. Kabanza and S. Thiébaux. Search Control in Planning for Temporally Extended Goals. 15th International Conference on Automated Planning and Scheduling (ICAPS-05), AAAI Press, Monterey (USA), June 2005. [ pdf] © AAAI Press


• P. Kilby, J. Slaney, S. Thiébaux and T. Walsh. Backbones and backdoors in satisfiability. 20th American National Conference on Artificial Intelligence (AAAI-05), AAAI Press, Pittsburgh (USA), July 2005. [ pdf] © AAAI Press


• C. Gretton and S. Thiébaux. Exploiting First-Order Regression in Inductive Policy Selection. 20th Conference on Uncertainty in Artificial Intelligence (UAI-04) Morgan Kaufmann, Banf (Canada), July 2004. [pdf] © the authors.


• D. Aberdeen, S. Thiébaux and L. Zhang. Decision-Theoretic Military Operations Planning. 14th International Conference on Automated Planning and Scheduling (ICAPS-04), AAAI Press, Whistler (Canada), June 2004. [ pdf] © AAAI Press


• A. Schumann, Y. Pencolé, and S. Thiébaux. Diagnosis of Discrete-Event Systems using Binary Decision Diagrams 15th International Workshop on Principles of Diagnosis (DX-04), Carcassonne (France), June 2004. [pdf] © the authors.


• S. Dunstall, M. Horn, P. Kilby, M. Krishnamoorthy, B. Owens, D. Sier and S. Thiébaux. An automated Itineray Planning System for Holiday Travel. Information Technology and Tourism, 6:3(195-210), 2004.


• B. Bonet and S. Thiébaux. GPT Meets PSR. 13th International Conference on Automated Planning and Scheduling (ICAPS-03), AAAI Press, Trento (Italy), June 2003. [ps.gz   pdf] © AAAI Press


• C. Gretton, D. Price and S. Thiébaux. Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards. 19th Conference on Uncertainty in Artificial Intelligence (UAI-03), Morgan Kaufmann, Acapulco (Mexico), August 2003. [ps.gz   pdf] © the authors.


• S. Thiébaux, J. Hoffmann and B. Nebel. In Defense of PDDL Axioms. 18th International Joint Conference on Artificial Intelligence (IJCAI-03), Morgan Kaufmann, Acapulco (Mexico), August 2003. [ps.gz   pdf] © IJCAII


• D. Long, D. McDermott and S. Thiébaux editors. Proceedings of the ICAPS-03 Workshop on PDDL. Trento (Italy), June 2003. [pdf]


• S. Thiébaux, F. Kabanza and J. Slaney. Anytime State-Based Solution Methods for Decision Processes with Non-Markovian Rewards. 18th Conference on Uncertainty in Artificial Intelligence (UAI-02) pages 501-510, Morgan Kaufmann, Edmonton (Canada), July 2002. [ps.gz   pdf] © Morgan Kaufmann


• P. Bertoli, A. Cimatti, J. Slaney and S. Thiébaux. Solving Power Supply Restoration Problems with Planning via Symbolic Model-Checking. 15th European Conference on Artificial Intelligence (ECAI-02), pages 576-580, IOS Press, Lyon (France), July 2002. [pdf] © the authors


• F. Kabanza and S. Thiébaux editors. Proceedings of the AIPS-02 Workshop on Planning via Model-Checking. LAAS-CNRS, Toulouse (France), April 2002. [pdf]


• S. Thiébaux and M.-O. Cordier. Supply Restoration in Power Distribution Systems -- A Benchmark for Planning under Uncertainty. 6th European Conference on Planning (ECP-01), pages 85-95, Springer Verlag, Toledo (Spain), September 2001. [ps.gz   pdf] © Springer


• J. Slaney and S. Thiébaux. Blocks World Revisited. Artificial Intelligence 125(1-2):119-153, Elsevier, January 2001. [pdf] © Elsevier


• S. Thiébaux and P. Lamb. Combining Kalman filtering and Markov localization in network-like environments. 6th Pacific-Rim International Conference on Artificial Intelligence (PRICAI-2000), pages 756-766, LNAI, Springer Verlag, Melbourne (Australia), August 2000. [ps.gz] © Springer


• S. Thiébaux, J. Slaney and P. Kilby. Estimating the Hardness of Optimisation. 14th European Conference on Artificial Intelligence (ECAI-2000), pages 123-127, IOS Press, Berlin (Germany), August 2000. [ps.gz] © the authors


• S. Thiébaux and P. Lamb. Vehicle Location as State Estimation in a Switching Environment. 9th International Conference on Advanced Robotics (ICAR-99), JARA, Tokyo (Japan), October 1999.


• S. Thiébaux, P. Lamb, and B. Robinson. Updating Turn Probabilities at Intersections in Response to Traffic Incidents. 4th International Conference of ITS Australia (ITSA-99), Adelaide (Australia), May 1999.
  [ps.gz   pdf]
  
  Extended (but older) version:Technical Report CMIS 98/140, CSIRO Math. & Info. Sc., Canberra (Australia), July 1998. [ps.gz] © CSIRO


• P. Lamb and S. Thiébaux. Avoiding Explicit Map-Matching in Vehicle Location. 6th ITS World Congress (ITS-99), Toronto (Canada), November 1999. [msword]


• J. Slaney and S. Thiébaux. On the Hardness of Decision and Optimisation Problems. 13th European Conference on Artificial Intelligence (ECAI-98), pages 244-248, John Wiley, Brighton (UK), August 1998. [ps.gz] © John Wiley


• M.-O. Cordier, J.-P. Krivine, P. Laborie, and S. Thiébaux. Alarm Processing and Reconfiguration in Power Distribution Systems. 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE-98), pages 230-241, LNAI, Springer Verlag, Benicassim (Spain), June 1998.


• M.-O. Cordier, S. Thiébaux, O. Jehl and J.-P. Krivine. Supply Restoration in Power Distribution Systems: A Reference Problem in Diagnosis and Reconfiguration. 8th International Workshop on Principles of Diagnosis (DX-97), pages 37-34, Le Mont Saint Michel (France), September 1997. [ps.gz] © the authors


• S. Thiébaux, M.-O. Cordier, O. Jehl, and J.-P. Krivine. Supply restoration in Power Distribution Systems -- A Case Study in Integrating Model-Based Diagnosis and Repair Planning. 12th Conference on Uncertainty in Artificial Intelligence (UAI-96), pages 525-532, Morgan Kaufmann, Portland (OR), August 1996. [pdf] © Morgan Kaufmann


• J. Slaney and S. Thiébaux. Linear-Time Near-Optimal Planning in the Blocks World. 13th American National Conference on Artificial Intelligence (AAAI-96), pages 1208-1214, AAAI Press/The MIT Press, Portland (OR), August 1996. [ps.gz] © AAAI Press
  
  More about the topic: see the Blocks World page


• S. Thiébaux, J. Hertzberg, W. Schoaff, and M. Schneider. A Stochastic Model of Actions and Plans for Anytime Planning under Uncertainty. International Journal of Intelligent Systems, 10(2):155-183, John Wiley, February 1995. [ps.gz] © John Wiley
  
  Short version: 2nd European Workshop on Planning (EWSP-93), pages 292-305, Vasdena (Sweden), IOS Press, December 1993. [ps.gz] © IOS Press


• M.-O. Cordier and S. Thiébaux. Event-Based Diagnosis for Evolutive Systems. 5th International Workshop on Principles of Diagnosis (DX-94), pages 64-69, New Palz (NY), October 1994. [ps.gz] © the authors
  
  Alternative version somewhat extended, with a different example: [ps.gz] © the authors


• J. Hertzberg and S. Thiébaux. Turning an Action Formalism into a Planner. Journal of Logic and Computation, Special Issue on Actions and Processes, 4(5):617-654, Oxford University Press, October 1994. [ps.gz] © Oxford University Press
  
  Very short version: 8th International Symposium on Methodologies for Intelligent Systems (ISMIS-94), pages 305-314, Charlotte (NC), LNAI 869, October 1994. [ps.gz] © Springer


• S. Thiébaux and J. Hertzberg. A Semi-Reactive Planner Based on a Possible Models Action Formalization. 1st International Conference on AI Planning Systems (AIPS-92), pages 228-235, Morgan Kaufmann, College Park (MD), June 1992. [ps.gz] © Morgan Kaufmann