Joseph Stanton
Study of Mutual Exclusion Invariants in Planning Processes.
Rel. Fabio Fagnani, Sara Bernardini. Politecnico di Torino, Master of science program in Mathematical Engineering, 2019
|
Preview |
PDF (Tesi_di_laurea)
- Thesis
Licence: Creative Commons Attribution Non-commercial No Derivatives. Download (1MB) | Preview |
![[thumbnail of Documenti_allegati]](https://webthesis.biblio.polito.it/style/images/fileicons/application_zip.png "Documenti_allegati")
|
Archive (ZIP) (Documenti_allegati)
- Other
Licence: Creative Commons Attribution Non-commercial No Derivatives. Download (235kB) |
Abstract
The thesis consists of an overview of PDDL2.1, Mutual Exclusive Invariants that exist within planning domains and the conditions that are sufficient to prove their existence. The main part of the thesis explains the implemention of the majority of the checks within the TIS (Temporal Invariant Synthesis) algorithm to find these invariants within durative action planning domains.
Relators
Publication type
URI
 |
Modify record (reserved for operators) |
