RTAMT: Online robustness monitors from STL D Ničković, T Yamaguchi International Symposium on Automated Technology for Verification and …, 2020 | 74 | 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 | 46 | 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 | 29 | 2019 |
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 |
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 | 28 | 2020 |
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 | 27 | 2021 |
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 | 25 | 2021 |
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 | 21 | 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 | 16 | 2020 |
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 | 12 | 2021 |
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 | 12 | 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 | 11 | 2023 |
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 | 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 | 7 | 2021 |
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 | 6 | 2023 |
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 |
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 | 2 | 2024 |