フォロー
Tomoya Yamaguchi
Tomoya Yamaguchi
Woven by Toyota
確認したメール アドレス: woven.toyota - ホームページ
タイトル
引用先
引用先
RTAMT: Online robustness monitors from STL
D Ničković, T Yamaguchi
International Symposium on Automated Technology for Verification and …, 2020
742020
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
462016
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
292019
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
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
282020
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
272021
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
252021
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
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
122021
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
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
112023
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
82023
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
82020
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
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
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
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
RTAMT–Runtime Robustness Monitors with Application to CPS and Robotics
T Yamaguchi, B Hoxha, D Ničković
International Journal on Software Tools for Technology Transfer 26 (1), 79-99, 2024
22024
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20