| RTAMT: Online robustness monitors from STL D Ničković, T Yamaguchi International Symposium on Automated Technology for Verification and …, 2020 | 92 | 2020 |
| 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 | 48 | 2016 |
| 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 | 35 | 2019 |
| 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 | 34 | 2021 |
| 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 | 31 | 2020 |
| 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 | 30 | 2021 |
| 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 | 29 | 2016 |
| 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 | 22 | 2021 |
| 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 | 17 | 2020 |
| 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 | 14 | 2019 |
| 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 | 13 | 2023 |
| 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 | 13 | 2021 |
| 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 | 10 | 2023 |
| 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 | 8 | 2024 |
| 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 | 8 | 2023 |
| 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 | 8 | 2020 |
| Reachability analysis of convolutional neural networks X Yang, T Yamaguchi, HD Tran, B Hoxha, TT Johnson, D Prokhorov arXiv preprint arXiv:2106.12074, 2021 | 6 | 2021 |
| 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 | 3 | 2012 |
Bardh HoxhaToyota Research Institute of North AmericaEmail verificata su toyota.com
