Yuki Okura

Toyama Prefectural University

论文数

4

总引用数

14

H-Index

3

关于

暂无简介。

研究焦点

Computer science4 · 14 次引用
Mathematics3 · 11 次引用
Engineering3 · 8 次引用
Robot3 · 8 次引用
Artificial intelligence3 · 8 次引用
Control (management)3 · 8 次引用
Algebraic specification1 · 6 次引用
Programming language1 · 6 次引用
Interpreter1 · 6 次引用
Hybrid system1 · 6 次引用
Mathematical proof1 · 6 次引用
Formal specification1 · 6 次引用

主要成就

3
H 指数
4
论文
14
总引用数
4
篇均引用
🏆 最高被引论文
Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method
6 次引用 · 2021
📈 最高产年份: 2022 (3 论文)
🤝 主要合作者: 6
🏛 所属机构: Toyama Prefectural University

代表论文

  1. 1
    Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method
    6 次引用 · 2021
  2. 2
    Human Dense Avoidance Based on A Coverage Control through Robots
    3 次引用 · 2022
  3. 3
    Assist control for human‐robot cooperative transportation systems using nonlinear disturbance observer
    3 次引用 · 2022
  4. 4
    Human dense avoidance based on a coverage control through robots
    2 次引用 · 2022

主要合作者

CKChiaki Kojima3 篇合著论文SMShu Morita2 篇合著论文KOKazuhiro Ogata1 篇合著论文MNMasaki Nakamura1 篇合著论文KSKazutoshi Sakakibara1 篇合著论文TNTomohiro Nakada1 篇合著论文
尚未生成