Pages that link to "Item:Q359973"
From MaRDI portal
The following pages link to Applicability conditions for plans with loops: computability results and algorithms (Q359973):
Displaying 5 items.
- Applicability conditions for plans with loops: computability results and algorithms (Q359973) (← links)
- A new representation and associated algorithms for generalized planning (Q543617) (← links)
- Reasoning about actions with loops via Hoare logic (Q1712544) (← links)
- Knowledge-based programs as building blocks for planning (Q2667817) (← links)
- Hierarchical decompositions and termination analysis for generalized planning (Q6488800) (← links)
