Combining requirement mining, software model checking and simulation-based verification for industrial automotive systems. - Tomoya Yamaguchi 001; Tomoyuki Kaga; Alexandre Donzé; Sanjit A. Seshia (FMCAD, 2016)

Learning Deep Neural Network Controllers for Dynamical Systems with Safety Guarantees: Invited Paper. - Jyotirmoy V. Deshmukh; James Kapinski; Tomoya Yamaguchi 001; Danil V. Prokhorov (ICCAD, 2019)

Application of Abstract Interpretation to the Automotive Electronic Control System. - Tomoya Yamaguchi 001; Martin Brain; Chirs Ryder; Yosikazu Imai; Yoshiumi Kawamura (VMCAI, 2019)

RTAMT: Online Robustness Monitors from STL. - Dejan Nickovic; Tomoya Yamaguchi 001 (ATVA, 2020)

Application of Simulation-Based Methods on Autonomous Vehicle Control with Deep Neural Network: Work-in-Progress. - Yuji Date; Takeshi Baba; Bardh Hoxha; Tomoya Yamaguchi 001; Danil V. Prokhorov (EMSOFT, 2020)

Specification-guided Software Fault Localization for Autonomous Mobile Systems. - Tomoya Yamaguchi 001; Bardh Hoxha; Danil V. Prokhorov; Jyotirmoy V. Deshmukh (MEMOCODE, 2020)

Falsification of Cyber-Physical Systems with Constrained Signal Spaces. - Benoît Barbot; Nicolas Basset; Thao Dang 001; Alexandre Donzé; James Kapinski; Tomoya Yamaguchi 001 (NFM, 2020)

Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions. - Shakiba Yaghoubi; Georgios Fainekos; Tomoya Yamaguchi 001; Danil V. Prokhorov; Bardh Hoxha (CDC, 2021)

Reachability analysis of deep ReLU neural networks using facet-vertex incidence. - Xiaodong Yang; Taylor T. Johnson; Hoang-Dung Tran; Tomoya Yamaguchi 001; Bardh Hoxha; Danil V. Prokhorov (HSCC, 2021)

Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions. - Keyvan Majd; Shakiba Yaghoubi; Tomoya Yamaguchi 001; Bardh Hoxha; Danil V. Prokhorov; Georgios Fainekos (IROS, 2021)

PerceMon: Online Monitoring for Perception Systems. - Anand Balakrishnan 001; Jyotirmoy Deshmukh; Bardh Hoxha; Tomoya Yamaguchi 001; Georgios Fainekos (RV, 2021)

Reachability Analysis of Convolutional Neural Networks. - Xiaodong Yang; Tomoya Yamaguchi 001; Hoang-Dung Tran; Bardh Hoxha; Taylor T. Johnson; Danil V. Prokhorov (CoRR, 2021)

Risk-Bounded Control Using Stochastic Barrier Functions. - Shakiba Yaghoubi; Keyvan Majd; Georgios Fainekos; Tomoya Yamaguchi 001; Danil V. Prokhorov; Bardh Hoxha (IEEE Control. Syst. Lett., 2021)

Neural Network Repair with Reachability Analysis. - Xiaodong Yang; Tom Yamaguchi 001; Hoang-Dung Tran; Bardh Hoxha; Taylor T. Johnson; Danil V. Prokhorov (FORMATS, 2022)

Runtime Assurance for Autonomous Driving with Neural Reachability. - Sergiy Bogomolov; Abdelrahman Hekal; Bardh Hoxha; Tomoya Yamaguchi 001 (ITSC, 2022)

Timed Partial Order Inference Algorithm. - Kandai Watanabe; Georgios Fainekos; Bardh Hoxha; Morteza Lahijanian; Danil V. Prokhorov; Sriram Sankaranarayanan 001; Tomoya Yamaguchi 001 (ICAPS, 2023)

Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives. - Navid Hashemi; Xin Qin; Jyotirmoy V. Deshmukh; Georgios Fainekos; Bardh Hoxha; Danil V. Prokhorov; Tomoya Yamaguchi 001 (ACC, 2023)

Checkmate: Fault Timing Localization for Multi-Robot Scenarios. - Ippei Nishitani; Tomoya Yamaguchi 001; Bardh Hoxha (CASE, 2023)

Verification of Recurrent Neural Networks with Star Reachability. - Hoang-Dung Tran; Sung Woo Choi; Xiaodong Yang; Tomoya Yamaguchi 001; Bardh Hoxha; Danil V. Prokhorov (HSCC, 2023)

A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems. - Navid Hashemi; Bardh Hoxha; Tomoya Yamaguchi 001; Danil V. Prokhorov; Georgios Fainekos; Jyotirmoy Deshmukh (ICCPS, 2023)

RTAMT - Runtime Robustness Monitors with Application to CPS and Robotics. - Tomoya Yamaguchi 001; Bardh Hoxha; Dejan Nickovic (Int. J. Softw. Tools Technol. Transf., 2024)