Tomoya Yamaguchi

Toyota Research Institute, Toyota Motor Corporation (United States), Toyama Prefectural University, Toyota Motor Corporation (Switzerland)

论文数

8

总引用数

155

H-Index

7

关于

暂无简介。

研究焦点

Computer science8 · 155 次引用
Real-time computing4 · 123 次引用
Programming language4 · 101 次引用
Temporal logic3 · 97 次引用
Robustness (evolution)3 · 97 次引用
Robot6 · 70 次引用
Artificial intelligence6 · 70 次引用
Algorithm1 · 65 次引用
Abstract interpretation1 · 65 次引用
Theoretical computer science1 · 65 次引用
Engineering4 · 54 次引用
Control (management)3 · 46 次引用

主要成就

7
H 指数
8
论文
155
总引用数
19
篇均引用
🏆 最高被引论文
RTAMT: Online Robustness Monitors from STL
65 次引用 · 2020
📈 最高产年份: 2020 (3 论文)
🤝 主要合作者: 16
🏛 所属机构: Toyota Research Institute, Toyota Motor Corporation (United States), Toyama Prefectural University, Toyota Motor Corporation (Switzerland)

代表论文

  1. 1
    RTAMT: Online Robustness Monitors from STL
    65 次引用 · 2020
  2. 2
    Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions
    26 次引用 · 2021
  3. 3
    RTAMT: Online Robustness Monitors from STL
    20 次引用 · 2020
  4. 4
    RTAMT – Runtime Robustness Monitors with Application to CPS and Robotics
    12 次引用 · 2023
  5. 5
    Basic research of electro-rheological gel drum for novel linear actuator
    11 次引用 · 2009
  6. 6
    Electrorheological Gel Linear Actuator for Human-Coexistence Robots
    9 次引用 · 2010
  7. 7
    Basic Structure and Prototype of Novel Linear Actuator with Electro-Rheological Gel
    8 次引用 · 2007
  8. 8
    Specification-guided Software Fault Localization for Autonomous Mobile Systems
    4 次引用 · 2020

主要合作者

KKK. Koyanagi3 篇合著论文YKYasuhiro Kakinuma3 篇合著论文BHBardh Hoxha3 篇合著论文DNDejan Ničković3 篇合著论文TOToru Oshima2 篇合著论文HAHidenobu Anzai2 篇合著论文DPDanil Prokhorov2 篇合著论文KSKoji Sakurai1 篇合著论文KSK. Sakurai1 篇合著论文SYShakiba Yaghoubi1 篇合著论文GFGeorgios Fainekos1 篇合著论文JVJyotirmoy V. Deshmukh1 篇合著论文NMNoboru MOMOSE1 篇合著论文TMTakayuki Matsuno1 篇合著论文KMKeyvan Majd1 篇合著论文HAH. Anzai1 篇合著论文
尚未生成