Paper defines solver-sufficient symbols for hybrid robot planning
A counterexample-guided method invents symbols that cut solving cost on simulated and real robots while keeping solution quality.
Stories per day · 30 days
1 stories, newest first · one card per story
Stories tagged #symbol-invention