Solving power supply restoration problems with planning via symbolic model checking

Simple item page
dc.contributor.authorBertoli, Piergiorgio
dc.contributor.authorCimatti, Alessandro
dc.contributor.authorSlaney, John K
dc.contributor.authorThiebaux, Sylvie
dc.coverage.spatialLyon France
dc.date.accessioned2015-12-13T23:24:41Z
dc.date.available2015-12-13T23:24:41Z
dc.date.createdJuly 21 2002
dc.date.issued2002
dc.date.updated2015-12-12T09:21:29Z
dc.identifier.isbn0922-6389
dc.identifier.urihttp://hdl.handle.net/1885/92335
dc.publisherIOS Press
dc.relation.ispartofseriesEuropean Conference on Artificial Intelligence (ECAI 2002)
dc.sourceProceedings of the 15th European Conference on Artificial Intelligence
dc.titleSolving power supply restoration problems with planning via symbolic model checking
dc.typeConference paper
local.bibliographicCitation.lastpage580
local.bibliographicCitation.startpage576
local.contributor.affiliationBertoli, Piergiorgio, Istituto Scientifico Romagnolo per lo Studio e la cura dei Tumori
local.contributor.affiliationCimatti, Alessandro, Istituto Scientifico Romagnolo per lo Studio e la cura dei Tumori
local.contributor.affiliationSlaney, John K, College of Engineering and Computer Science, ANU
local.contributor.affiliationThiebaux, Sylvie, College of Engineering and Computer Science, ANU
local.contributor.authoremailu8800435@anu.edu.au
local.contributor.authoruidSlaney, John K, u8800435
local.contributor.authoruidThiebaux, Sylvie, u4033066
local.description.notesImported from ARIES
local.description.refereedYes
local.identifier.absfor080199 - Artificial Intelligence and Image Processing not elsewhere classified
local.identifier.ariespublicationMigratedxPub23398
local.identifier.uidSubmittedByMigrated
local.type.statusPublished Version

Downloads

Collections

ANU Research Publications

DSpace software copyright © 2002-2024 LYRASIS