Follow
Tomoya Yamaguchi
Tomoya Yamaguchi
Woven by Toyota
Verified email at woven.toyota - Homepage
Title
Cited by
Cited by
Year
RTAMT: Online robustness monitors from STL
D Ničković, T Yamaguchi
International Symposium on Automated Technology for Verification and …, 2020
692020
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
442016
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
292016
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
262019
PerceMon: online monitoring for perception systems
A Balakrishnan, J Deshmukh, B Hoxha, T Yamaguchi, G Fainekos
Runtime Verification: 21st International Conference, RV 2021, Virtual Event …, 2021
242021
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
242020
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
232021
Reachability analysis of deep ReLU neural networks using facet-vertex incidence.
X Yang, TT Johnson, HD Tran, T Yamaguchi, B Hoxha, DV Prokhorov
HSCC 21, 19-21, 2021
212021
Falsification of cyber-physical systems with constrained signal spaces
B Barbot, N Basset, T Dang, A Donzé, J Kapinski, T Yamaguchi
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field …, 2020
162020
Application of abstract interpretation to the automotive electronic control system
T Yamaguchi, M Brain, C Ryder, Y Imai, Y Kawamura
Verification, Model Checking, and Abstract Interpretation: 20th …, 2019
122019
Risk-bounded control with kalman filtering and stochastic barrier functions
S Yaghoubi, G Fainekos, T Yamaguchi, D Prokhorov, B Hoxha
2021 60th IEEE Conference on Decision and Control (CDC), 5213-5219, 2021
92021
Verification of recurrent neural networks with star reachability
HD Tran, SW Choi, X Yang, T Yamaguchi, B Hoxha, D Prokhorov
Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023
72023
Reachability analysis of convolutional neural networks
X Yang, T Yamaguchi, HD Tran, B Hoxha, TT Johnson, D Prokhorov
arXiv preprint arXiv:2106.12074, 2021
72021
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
72020
A neurosymbolic approach to the verification of temporal logic properties of learning-enabled control systems
N Hashemi, B Hoxha, T Yamaguchi, D Prokhorov, G Fainekos, ...
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical …, 2023
62023
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
5*2011
Risk-awareness in learning neural controllers for temporal logic objectives
N Hashemi, X Qin, JV Deshmukh, G Fainekos, B Hoxha, D Prokhorov, ...
2023 American Control Conference (ACC), 4096-4103, 2023
32023
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), 839-844, 2015
3*2015
自動車制御ソフトウェア開発プロセスへのモデル検査の適用
山口智也, 足立憲保, 加賀智之, 大桑芳宏
組込みシステムシンポジウム 2012 論文集 2012, 188-196, 2012
32012
エンジン制御ソフトウェア開発へのモデル検査の適用
山口智也, 加賀智之
自動車技術会学術講演会前刷集, No115-13, P13-18, 2013
22013
The system can't perform the operation now. Try again later.
Articles 1–20