Pages that link to "Item:Q1274278"
From MaRDI portal
The following pages link to What robots can do: robot programs and effective achievability (Q1274278):
Displaying 5 items.
- Property persistence in the situation calculus (Q991025) (← links)
- Analyzing generalized planning under nondeterminism (Q2124464) (← links)
- A correctness result for synthesizing plans with loops in stochastic domains (Q2300450) (← links)
- Asynchronous knowledge with hidden actions in the situation calculus (Q2344356) (← links)
- Knowing how to plan about planning: higher-order and meta-level epistemic planning (Q6665710) (← links)