The following pages link to (Q3092752):
Displayed 7 items.
- Efficient symbolic search for cost-optimal planning (Q343909) (← links)
- Consensus for black-box nonlinear agents using optimistic optimization (Q463905) (← links)
- Optimal Sokoban solving using pattern databases with specific domain knowledge (Q899157) (← links)
- A framework for analysing state-abstraction methods (Q2060741) (← links)
- An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking (Q3297592) (← links)
- Practical Proof Search for Coq by Type Inhabitation (Q5048991) (← links)
- Optimistic planning for control of hybrid-input nonlinear systems (Q6175610) (← links)