K. Tokusei is an author at Stanford University specializing in cartography, computational complexity, and formal methods.
Top concepts
RoboticsAutomationCartographyEngineeringLocalizationField RoboticsFormal MethodsRobot LearningComputer ScienceFormal Verification
Publications per year
2002–2002
1
1
Reliable navigation using landmarks
Carmen Becker, Joaquín Salas, K. Tokusei et al. · 2002 · 86 citations
Rows per page
1–1 of 1