Follow
Tomoya Yamaguchi
Tomoya Yamaguchi
TRINA (Toyota Research Institute in North America), University of Tsukuba
Verified email at toyota.com - Homepage
Title
Cited by
Cited by
Year
ST-Lib: A library for specifying and classifying model behaviors
J Kapinski, X Jin, J Deshmukh, A Donze, T Yamaguchi, H Ito, T Kaga, ...
SAE Technical Paper, 2016
372016
Combining requirement mining, software model checking and simulation-based verification for industrial automotive systems
T Yamaguchi, T Kaga, A Donzé, SA Seshia
2016 Formal Methods in Computer-Aided Design (FMCAD), 201-204, 2016
212016
RTAMT: Online robustness monitors from STL
D Ničković, T Yamaguchi
International Symposium on Automated Technology for Verification and …, 2020
172020
Learning deep neural network controllers for dynamical systems with safety guarantees
JV Deshmukh, JP Kapinski, T Yamaguchi, D Prokhorov
2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-7, 2019
122019
Risk-bounded control using stochastic barrier functions
S Yaghoubi, K Majd, G Fainekos, T Yamaguchi, D Prokhorov, B Hoxha
IEEE Control Systems Letters 5 (5), 1831-1836, 2020
102020
Falsification of cyber-physical systems with constrained signal spaces
B Barbot, N Basset, T Dang, A Donzé, J Kapinski, T Yamaguchi
NASA Formal Methods Symposium, 420-439, 2020
72020
Application of abstract interpretation to the automotive electronic control system
T Yamaguchi, M Brain, C Ryder, Y Imai, Y Kawamura
International Conference on Verification, Model Checking, and Abstract …, 2019
62019
Safe navigation in human occupied environments using sampling and control barrier functions
K Majd, S Yaghoubi, T Yamaguchi, B Hoxha, D Prokhorov, G Fainekos
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2021
42021
自動車制御ソフトウェア開発プロセスへのモデル検査の適用
山口智也, 足立憲保, 加賀智之, 大桑芳宏
組込みシステムシンポジウム 2012 論文集 2012, 188-196, 2012
32012
A trial of autonomous long-distance outdoor navigation at 3.5 km side-walk in university of Tsukuba
T Yamaguchi
Nihon Kikai Gakkai Ronbunshu, C Hen/Transactions of the Japan Society of …, 2011
32011
Reachability analysis of deep ReLU neural networks using facet-vertex incidence.
X Yang, TT Johnson, HD Tran, T Yamaguchi, B Hoxha, DV Prokhorov
HSCC, 18:1-18:7, 2021
22021
エンジン制御ソフトウェア開発へのモデル検査の適用
山口智也, 加賀智之
自動車技術会学術講演会前刷集, No115-13, P13-18, 2013
22013
筑波大学ループ道路歩道 3.5 km における移動ロボットの屋外長距離自律走行の試み
山口智也, 油田信一
日本機械学会論文集 C 編 77 (779), 2782-2794, 2011
22011
移動ロボットによる測域センサを用いた歩道路の自律的追従走行
山口智也
第 9 回計測自動制御学会システムインテグレーション部門講演会, 2008, 345-346, 2008
22008
Reachability Analysis of Convolutional Neural Networks
X Yang, T Yamaguchi, HD Tran, B Hoxha, TT Johnson, D Prokhorov
arXiv preprint arXiv:2106.12074, 2021
12021
Specification-guided software fault localization for autonomous mobile systems
T Yamaguchi, B Hoxha, D Prokhorov, JV Deshmukh
2020 18th ACM-IEEE International Conference on Formal Methods and Models for …, 2020
12020
Validation of Control Software by Search-Based Testing Using Formal Methods
S Kobuna, T Kaga, T Yamaguchi
SAE Technical Paper, 2016
12016
Verification of Control Software by Dynamic Test Generation Using Static Analysis
S Kobuna, T Kaga, T Yamaguchi
Transactions of Society of Automotive Engineers of Japan 46 (4), 2015
12015
静的解析を組み合わせた動的テストによる制御ソフトウェア検証
小鮒俊介, 加賀智之, 山口智也
自動車技術会論文集 46 (4), 839-844, 2015
12015
Autonomous Long-distance Outdoor Navigation at 4km Side-walk in University of Tsukuba
T Yamaguchi
Proc. 15th Robotics Symposia, 2010, 494-499, 2010
12010
The system can't perform the operation now. Try again later.
Articles 1–20