| 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 | 37 | 2016 |
| 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 | 21 | 2016 |
| RTAMT: Online robustness monitors from STL D Ničković, T Yamaguchi International Symposium on Automated Technology for Verification and …, 2020 | 17 | 2020 |
| 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 | 12 | 2019 |
| 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 | 10 | 2020 |
| 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 | 7 | 2020 |
| 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 | 6 | 2019 |
| 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 | 4 | 2021 |
| 自動車制御ソフトウェア開発プロセスへのモデル検査の適用 山口智也， 足立憲保， 加賀智之， 大桑芳宏 組込みシステムシンポジウム 2012 論文集 2012, 188-196, 2012 | 3 | 2012 |
| 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 | 3 | 2011 |
| 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 | 2 | 2021 |
| エンジン制御ソフトウェア開発へのモデル検査の適用 山口智也， 加賀智之 自動車技術会学術講演会前刷集, No115-13, P13-18, 2013 | 2 | 2013 |
| 筑波大学ループ道路歩道 3.5 km における移動ロボットの屋外長距離自律走行の試み 山口智也， 油田信一 日本機械学会論文集 C 編 77 (779), 2782-2794, 2011 | 2 | 2011 |
| 移動ロボットによる測域センサを用いた歩道路の自律的追従走行 山口智也 第 9 回計測自動制御学会システムインテグレーション部門講演会, 2008, 345-346, 2008 | 2 | 2008 |
| Reachability Analysis of Convolutional Neural Networks X Yang, T Yamaguchi, HD Tran, B Hoxha, TT Johnson, D Prokhorov arXiv preprint arXiv:2106.12074, 2021 | 1 | 2021 |
| 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 | 1 | 2020 |
| Validation of Control Software by Search-Based Testing Using Formal Methods S Kobuna, T Kaga, T Yamaguchi SAE Technical Paper, 2016 | 1 | 2016 |
| 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 | 1 | 2015 |
| 静的解析を組み合わせた動的テストによる制御ソフトウェア検証 小鮒俊介， 加賀智之， 山口智也 自動車技術会論文集 46 (4), 839-844, 2015 | 1 | 2015 |
| Autonomous Long-distance Outdoor Navigation at 4km Side-walk in University of Tsukuba T Yamaguchi Proc. 15th Robotics Symposia, 2010, 494-499, 2010 | 1 | 2010 |
Danil ProkhorovToyota Tech Center, Ann Arbor, MIVerified email at toyota.com
