logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
K

Kazutoshi Sakakibara

Toyama Prefectural University

9H指数
162论文数
390被引数
收录论文 5
发表时间
logo
Formal Specification and Verification of Autonomous Vehicle Group Control Systems Using Hybrid Automata and Maude基于混合自动机和Maude的自动驾驶车辆群控系统的形式化规范与验证
errWorld Electric Vehicle Journal
IF2.6
err2026-09-02
err0
errOAAI
errYifan Wang; Masaki Nakamura; Kazutoshi Sakakibara
err分享
err收藏
Development of a Talent Management Support System for Sustaining Organizational Human Capability开发支持组织人力能力持续发展的 talent management 支持系统
errFLEXIBLE AUTOMATION AND INTELLIGENT MANUFACTURING: THE FUTURE OF AUTOMATION AND MANUFACTURING: INTELLIGENCE, AGILITY, AND SUSTAINABILITY, FAIM
IF0
err2026-01-01
err1
PREAI
errMorioka, Hayato; Sakakibara, Kazutoshi; Nakamura, Masaki; Yamada, Shuho
err分享
err收藏
Formal Verification of Autonomous Vehicle Group Control Systems via Specification Translation of Multitask Hybrid Observational Transition Systems多任务混合观测转移系统的规范翻译在自动驾驶车辆组控系统中的形式化验证
errELECTRONICS
IF2.6
err2025-04-07
err0
errOAAI
errWang, Yifan; Nakamura, Masaki; Takano, Ryo; Matsumoto, Takuya; Sakakibara, Kazutoshi
err分享
err收藏
Structural Optimization of Autonomous Energy Networks by Mathematical Programming Techniques
errELECTRICAL ENGINEERING IN JAPAN
IF0.6
err2018-03-06
err0
PREAI
errSakakibara, Kazutoshi; Matsumoto, Takuya; Taniguchi, Ittetsu; Tamaki, Hisashi
err分享
err收藏
Phase dynamics of complex-valued neural networks and its application to traffic signal control
errINTERNATIONAL JOURNAL OF NEURAL SYSTEMS
IF6.4
err2011-11-21
err16
PREAI
errNishikawa, I; Iritani, T; Sakakibara, K; Kuroe, Y
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
T
Takuya Matsumoto
H 指数: 40 · 论文数: 556
M
Masaki Nakamura
H 指数: 33 · 论文数: 348
R
Ryo Takano
H 指数: 31 · 论文数: 114
Y
Yasuaki Kuroe
H 指数: 19 · 论文数: 216
H
Hisashi Tamaki
H 指数: 16 · 论文数: 260
查看更多