Sciweavers

3 search results - page 1 / 1
» kes 1997
Sort
View
KES
1997
Springer
13 years 10 months ago
Theoretical methods for planning and control in mobile robotics
Henrik I. Christensen, Paolo Pirjanian
KES
1997
Springer
13 years 10 months ago
Formal verification of the correctness in hybrid expert systems
Simon C. K. Shiu, James N. K. Liu, Daniel S. Yeung