6 search results - page 2 / 2 » lpar 2000 |
130
click to vote
LPAR
2001
Springer
15 years 7 months ago
2001
Springer
When it comes to building robot controllers, highlevel programming arises as a feasible alternative to planning. The task then is to verify a high-level program by finding a lega...