Skip navigation
Skip navigation

Browsing by Author Thiebaux, Sylvie

Or enter first few letters:  
Showing results 1 to 20 of 52

A Decentralised Symbolic Diagnosis Approach

Author(s)Schumann, Anika; Pencole, Yannick; Thiebaux, Sylvie
TypeConference paper
Date Published2010
Date CreatedAugust 16-20 2010

A spectrum of symbolic on-line diagnosis approaches

Author(s)Schumann, A.; Pencole, Yannick; Thiebaux, Sylvie
TypeConference paper
Date Published2007
Date CreatedJuly 22-26 2007

AI@NICTA

Author(s)Barnes, Nicholas; Baumgartner, Peter; Caetano, Tiberio, et al
TypeJournal article
Date Published2012
Date Created-

An automated itinerary planning system for holiday travel

Author(s)Dunstall, Simon; Horn, Mark; Kilby, Philip, et al
TypeJournal article
Date Published2004
Date Created-

Analyzing LTL model checking techniques for plan synthesis and controller synthesis

Author(s)Kerjean, Sylvain; Kabanza, Froduald; St-Denis, Richard, et al
TypeJournal article
Date Published2006
Date Created-

Anytime state-based solution methods for decision processes with non-Markovian rewards

Author(s)Thiebaux, Sylvie; Kabanza, Froduald; Slaney, John K
TypeConference paper
Date Published2002
Date CreatedAugust 1 2002

Backbones and backdoors in satisfiability

Author(s)Kilby, Philip; Slaney, John K; Thiebaux, Sylvie, et al
TypeConference paper
Date Published2005
Date CreatedJuly 9 2005

Blocks World Revisited

Author(s)Slaney, John K; Thiebaux, Sylvie
TypeJournal article
Date Published2001
Date Created-

Concurrent probabilistic planning in the graphplan framework

Author(s)Little, Iain; Thiebaux, Sylvie
TypeConference paper
Date Published2006
Date CreatedJune 6-10 2005

Conflict-Based Diagnosis of Discrete-Event Systems: Theory and Practice

Author(s)Grastien, Alban; Haslum, Patrik; Thiebaux, Sylvie
TypeConference paper
Date Published2012
Date CreatedJune 10-14 2012

Cost-Optimal Factored Planning: Promises and Pitfalls

Author(s)Fabre, Eric; Jezequel, Lonig; Haslum, Patrik, et al
TypeConference paper
Date Published2010
Date CreatedMay 12-16 2010

CP and MIP Methods for Ship Scheduling with Time-Varying Draft

Author(s)Kelareva, Elena; Brand, Sebastian; Kilby, Philip, et al
TypeConference paper
Date Published2012
Date CreatedJune 25-29 2012

Decision-theoretic military operations planning

Author(s)Aberdeen, Douglas; Thiebaux, Sylvie; Zhang, Lin
TypeConference paper
Date Published2004
Date CreatedJune 3 2004

Diagnosis of discrete-event systems using binary decision diagrams

Author(s)Schumann, A.; Pencole, Yannick; Thiebaux, Sylvie
TypeConference paper
Date Published2004
Date CreatedJune 23 2004

Directed Unfolding of Petri Nets

Author(s)Bonet, Blai; Haslum, Patrik; Hickmott, Sarah, et al
TypeBook chapter
Date Published2008
Date Created-

Directed unfolding of petri nets

Author(s)Bonet, Blai; Haslum, Patrik; Hickmott, Sarah, et al
TypeConference paper
Date Published2007
Date CreatedJune 26 2007

Distributed Multi-Period Optimal Power Flow for Demand Response in Microgrids

Author(s)Scott, Paul; Thiebaux, Sylvie
TypeConference paper
Date Published2015
Date CreatedJuly 14-17, 2015

Estimating search tree size

Author(s)Kilby, Philip; Slaney, John K; Thiebaux, Sylvie, et al
TypeConference paper
Date Published2006
Date CreatedJuly 16-20 2006

Estimating the Hardness of Optimisation

Author(s)Thiebaux, Sylvie; Slaney, John K; Kilby, P
TypeConference paper
Date Published2000
Date CreatedAugust 20 2000

Exhaustive Diagnosis of Discrete Event Systems through Exploration of the Hypothesis Space

Author(s)Grastien, Alban; Haslum, Patrik; Thiebaux, Sylvie
TypeConference paper
Date Published2011
Date CreatedOctober 4-7 2011

Updated:  12 April 2016/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator