Solving power supply restoration problems with planning via symbolic model checking

Piergiorgio Bertoli, Alessandro Cimatti, John Slaney, Sylvie Thiebaux

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review

Original language	English
Title of host publication	Proceedings of the 15th European Conference on Artificial Intelligence
Editors	F. van Harmelen
Place of Publication	The Netherlands
Publisher	IOS Press
Pages	576-580
Edition	Peer Reviewed
ISBN (Print)	0922-6389
Publication status	Published - 2002
Event	European Conference on Artificial Intelligence (ECAI 2002) - Lyon France Duration: 1 Jan 2002 → …

Conference	European Conference on Artificial Intelligence (ECAI 2002)
Period	1/01/02 → …
Other	July 21 2002

Cite this

@inproceedings{8b2c4b7576d747789e21d98001dfce1f,

title = "Solving power supply restoration problems with planning via symbolic model checking",

author = "Piergiorgio Bertoli and Alessandro Cimatti and John Slaney and Sylvie Thiebaux",

year = "2002",

language = "English",

isbn = "0922-6389",

pages = "576--580",

editor = "\{F. van Harmelen\}",

booktitle = "Proceedings of the 15th European Conference on Artificial Intelligence",

publisher = "IOS Press",

address = "United States",

edition = "Peer Reviewed",

note = "European Conference on Artificial Intelligence (ECAI 2002) ; Conference date: 01-01-2002",

}

Solving power supply restoration problems with planning via symbolic model checking. / Bertoli, Piergiorgio; Cimatti, Alessandro; Slaney, John et al.
Proceedings of the 15th European Conference on Artificial Intelligence. ed. / F. van Harmelen. Peer Reviewed. ed. The Netherlands: IOS Press, 2002. p. 576-580.

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review

TY - GEN

T1 - Solving power supply restoration problems with planning via symbolic model checking

AU - Bertoli, Piergiorgio

AU - Cimatti, Alessandro

AU - Slaney, John

AU - Thiebaux, Sylvie

PY - 2002

Y1 - 2002

M3 - Conference Paper

SN - 0922-6389

SP - 576

EP - 580

BT - Proceedings of the 15th European Conference on Artificial Intelligence

A2 - null, F. van Harmelen

PB - IOS Press

CY - The Netherlands

T2 - European Conference on Artificial Intelligence (ECAI 2002)

Y2 - 1 January 2002

ER -