Sciweavers

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
51
Voted
KES
1997
Springer
15 years 2 months ago
Theoretical methods for planning and control in mobile robotics
Henrik I. Christensen, Paolo Pirjanian