Kozo Okano

Shinshu University

Papers

3

Total Citations

11

H-Index

3

About

No biography available yet.

Research Focus

Computer science3 · 11 citations
Robot3 · 11 citations
Artificial intelligence3 · 11 citations
Simulation2 · 8 citations
Probabilistic logic2 · 8 citations
Formal verification2 · 7 citations
Reliability (semiconductor)2 · 7 citations
Model checking2 · 7 citations
Algorithm1 · 4 citations
Machine learning1 · 4 citations
Control engineering1 · 4 citations
Markov decision process1 · 4 citations

Key Achievements

3
H-Index
3
Papers
11
Total Citations
4
Avg Citations/Paper
🏆 Most Cited Paper
Towards Verification of Robot Design for Self-localization
4 citations · 2017
📈 Most Prolific Year: 2017 (1 Papers)
🤝 Key Collaborators: 9
🏛 Institutions: Shinshu University

Top Papers

  1. 1
    Towards Verification of Robot Design for Self-localization
    4 citations · 2017
  2. 2
    Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances
    4 citations · 2015
  3. 3
    Verification of Safety Properties of a Program for Line Tracing Robot using a Timed Automaton Model
    3 citations · 2013

Key Collaborators

TSToshifusa Sekizawa3 shared papersHSHiroaki Shimba1 shared papersKIKazuki Ito1 shared papersYSYukihiro Sasaki1 shared papersHKHideki Kawai1 shared papersFOFumiya Otsuki1 shared papersRWRyo Watanabe1 shared papersKHKentaro Hanada1 shared papersSKShinji Kusumoto1 shared papers
Not generated yet