Sciweavers

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