Tomoya Yamaguchi

According to our database, Tomoya Yamaguchi authored at least 21 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

RTAMT - Runtime Robustness Monitors with Application to CPS and Robotics.

Tomoya Yamaguchi, Bardh Hoxha, Dejan Nickovic

Int. J. Softw. Tools Technol. Transf., February, 2024

2023

A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems.

Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Verification of Recurrent Neural Networks with Star Reachability.

Hoang-Dung Tran, Sung Woo Choi, Xiaodong Yang, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Checkmate: Fault Timing Localization for Multi-Robot Scenarios.

Ippei Nishitani, Tomoya Yamaguchi, Bardh Hoxha

Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 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

Proceedings of the American Control Conference, 2023

Timed Partial Order Inference Algorithm.

Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Danil V. Prokhorov, Sriram Sankaranarayanan, Tomoya Yamaguchi

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

2022

Runtime Assurance for Autonomous Driving with Neural Reachability.

Sergiy Bogomolov, Abdelrahman Hekal, Bardh Hoxha, Tomoya Yamaguchi

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

Neural Network Repair with Reachability Analysis.

Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

2021

Risk-Bounded Control Using Stochastic Barrier Functions.

Shakiba Yaghoubi, Keyvan Majd, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha

IEEE Control. Syst. Lett., 2021

Reachability Analysis of Convolutional Neural Networks.

Xiaodong Yang, Tomoya Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov

CoRR, 2021

PerceMon: Online Monitoring for Perception Systems.

Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos

Proceedings of the Runtime Verification - 21st International Conference, 2021

Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions.

Keyvan Majd, Shakiba Yaghoubi, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Reachability analysis of deep ReLU neural networks using facet-vertex incidence.

Xiaodong Yang, Taylor T. Johnson, Hoang-Dung Tran, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions.

Shakiba Yaghoubi, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

Falsification of Cyber-Physical Systems with Constrained Signal Spaces.

Benoît Barbot, Nicolas Basset, Thao Dang, Alexandre Donzé, James Kapinski, Tomoya Yamaguchi

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Specification-guided Software Fault Localization for Autonomous Mobile Systems.

Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Jyotirmoy V. Deshmukh

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 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, Danil V. Prokhorov

Proceedings of the 20th International Conference on Embedded Software, 2020

RTAMT: Online Robustness Monitors from STL.

Dejan Nickovic, Tomoya Yamaguchi

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Application of Abstract Interpretation to the Automotive Electronic Control System.

Tomoya Yamaguchi, Martin Brain, Chirs Ryder, Yosikazu Imai, Yoshiumi Kawamura

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Learning Deep Neural Network Controllers for Dynamical Systems with Safety Guarantees: Invited Paper.

Jyotirmoy V. Deshmukh, James Kapinski, Tomoya Yamaguchi, Danil V. Prokhorov

Proceedings of the International Conference on Computer-Aided Design, 2019

2016

Combining requirement mining, software model checking and simulation-based verification for industrial automotive systems.

Tomoya Yamaguchi, Tomoyuki Kaga, Alexandre Donzé, Sanjit A. Seshia

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016