Kozo Okano

Shinshu University

论文数

3

总引用数

11

H-Index

3

关于

暂无简介。

研究焦点

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

主要成就

3
H 指数
3
论文
11
总引用数
4
篇均引用
🏆 最高被引论文
Towards Verification of Robot Design for Self-localization
4 次引用 · 2017
📈 最高产年份: 2017 (1 论文)
🤝 主要合作者: 9
🏛 所属机构: Shinshu University

代表论文

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

主要合作者

TSToshifusa Sekizawa3 篇合著论文HSHiroaki Shimba1 篇合著论文KIKazuki Ito1 篇合著论文YSYukihiro Sasaki1 篇合著论文HKHideki Kawai1 篇合著论文FOFumiya Otsuki1 篇合著论文RWRyo Watanabe1 篇合著论文KHKentaro Hanada1 篇合著论文SKShinji Kusumoto1 篇合著论文
尚未生成