Thiébaux, Sylvie - Computer Sciences Laboratory, Australian National University

• Preemptive JobShop Scheduling using Stopwatch Automata #
• Solving Planning Problems Using RealTime Model Checking (Translating PDDL3 into Timed Automata)
• Turning an Action Formalism Into a Planner---A Case Study
• A SemiReactive Planner Based on a Possible Models Action Formalization
• Proceedings of the AIPS-02 Workshop on
• Planning Via Petri Net Unfolding: Generalisation and Improvements Dept. de Computacion
• Partial State Progression: An Extension to the BacchusKabanza Algorithm, with Applications to Prediction and MITL Consistency
• A Stochastic Model of Actions and Plans for Anytime Planning under Uncertainty
• Turning an Action Formalism Into a Planner---Essentials of a Case Study
• GPT Meets PSR Computer Science Department
• Supply restoration in power distribution systems { a benchmark for planning under uncertainty
• A Decentralised Symbolic Diagnosis Approach1 Anika Schumann2 and Yannick Pencole3 and Sylvie Thiebaux4
• Plan Validation for Extended Goals under Partial Observability (preliminary report)
• In Defense of PDDL Axioms # Sylvie Thi ebaux
• Implementation and Comparison of Solution Methods for Decision Processes with NonMarkovian Rewards
• Updating turn probabilities at intersections in response to tra#c
• An Efficient BDDBased A* Algorithm Rune M. Jensen, Randal E. Bryant, and Manuela M. Veloso
• Probabilistic Planning vs Replanning Iain Little and Sylvie Thiebaux
• Printed by LAAS-CNRS Planning via Model Checking
• On the Hardness of Decision and Optimisation Problems
• GPT Meets PSR Computer Science Department
• Combining Kalman Filtering and Markov Localization in NetworkLike Environments
• A Stochastic Model of Actions and Plans for Anytime Planning under Uncertainty 1
• Symbolic Exploration in TwoPlayer Games: Preliminary Results Stefan Edelkamp
• ``What Happened?'' vs ``What is Ab?''--A Theoretical Framework for Diagnosing
• Supply Restoration in Power Distribution Systems: a Reference Problem in Diagnosis and Reconfiguration
• EventBased Diagnosis for Evolutive Systems MarieOdile Cordier and Sylvie Thi'ebaux
• Planning Via Model Checking in Dynamic Temporal Domains: Exploiting Planning Representations
• Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards
• The imagination driving Australia's ICT future Doing a PhD at ANU/NICTA?
• Journal of Artificial Intelligence Research 26 (2006) 453-541 Submitted 12/05; published 08/06 Engineering Benchmarks for Planning: the Domains Used in the
• Supply restoration in power distribution systems a benchmark for planning under uncertainty
• A Spectrum of Symbolic On-line Diagnosis Approaches Anika Schumann
• Supply Restoration in Power Distribution Systems --A Case Study in Integrating Model-Based Diagnosis and Repair Planning
• Estimating Search Tree Size Philip Kilby
• Updating turn probabilities at intersections in response to traffic
• Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking
• Technical Report TR-ARP-01-03 Automated Reasoning Group
• In Defense of PDDL Axioms Sylvie Thiebaux
• Anytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards
• Diagnosis of Discrete-Event Systems using Binary Decision Diagrams
• Anytime StateBased Solution Methods for Decision Processes with nonMarkovian Rewards
• Estimating the Hardness of Optimisation Sylvie Thi ebaux 1 , John Slaney 2 , and Phil Kilby 1
• Symbolic LAO* Search for Factored Markov Decision Processes Zhengzhu Feng
• Probabilistic Plan Verification through Acceptance Sampling H akan L. S. Younes #
• Linear Time NearOptimal Planning in the Blocks World John Slaney
• Updating turn probabilities at intersections in response to traffic
• Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking
• In Defense of PDDL Axioms Sylvie Thiebaux
• Concurrent Probabilistic Planning in the Graphplan Framework Iain little and Sylvie Thiebaux