Hierarchical decompositions and termination analysis for generalized planning (Q6488800)
From MaRDI portal
scientific article; zbMATH DE number 7753322
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hierarchical decompositions and termination analysis for generalized planning |
scientific article; zbMATH DE number 7753322 |
Statements
Hierarchical decompositions and termination analysis for generalized planning (English)
0 references
23 October 2023
0 references
planning
0 references
mathematical foundations
0 references
generalized planning
0 references
reasoning about actions and change
0 references
