Sho Sei Shun

According to our database, Sho Sei Shun authored at least 1 paper in 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

FDR verification of a system involving a robot climbing stairs.

Tomoo Sumida, Hiroyuki Suzuki, Sho Sei Shun, Kazuhito Ohmaki, Takaaki Goto, Kensei Tsuchida

Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017