Pages that link to "Item:Q543617"

The following pages link to A new representation and associated algorithms for generalized planning (Q543617):

Displaying 4 items.

• Applicability conditions for plans with loops: computability results and algorithms (Q359973) (← links)
• Agent planning programs (Q899440) (← links)
• Reasoning about actions with loops via Hoare logic (Q1712544) (← links)
• Hierarchical decompositions and termination analysis for generalized planning (Q6488800) (← links)