Extracting mutual exclusion invariants from lifted temporal planning domains

Research output: Contribution to journal › Article › peer-review

189 Downloads (Pure)

Access to Document

@article{d227fbcfa76e4c348cbd5e94e7ea6528,

title = "Extracting mutual exclusion invariants from lifted temporal planning domains",

author = "Sara Bernardini and Fabio Fagnani and David Smith",

year = "2018",

month = may,

doi = "10.1016/j.artint.2018.01.004",

language = "English",

volume = "258",

pages = "1--65",

journal = "Artificial Intelligence",

issn = "0004-3702",

publisher = "Elsevier B.V.",

}