Pages that link to "Item:Q622104"
From MaRDI portal
The following pages link to The computational complexity of avoiding spurious states in state space abstraction (Q622104):
Displaying 5 items.
- Efficient symbolic search for cost-optimal planning (Q343909) (← links)
- A framework for analysing state-abstraction methods (Q2060741) (← links)
- An approximation algorithm for box abstraction of transition systems on real state spaces (Q2248056) (← links)
- When does abstraction help? (Q2445332) (← links)
- Merge-and-Shrink Abstraction (Q3189651) (← links)