Tomoya Yamaguchi

Orcid: 0000-0003-0996-5725

Affiliations:
  • Toyota Research Institute of North America, Ann Arbor, MI, USA


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
RTAMT - Runtime Robustness Monitors with Application to CPS and Robotics.
Int. J. Softw. Tools Technol. Transf., February, 2024

2023
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Verification of Recurrent Neural Networks with Star Reachability.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Checkmate: Fault Timing Localization for Multi-Robot Scenarios.
Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives.
Proceedings of the American Control Conference, 2023

Timed Partial Order Inference Algorithm.
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

2022
Runtime Assurance for Autonomous Driving with Neural Reachability.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

Neural Network Repair with Reachability Analysis.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

2021
Risk-Bounded Control Using Stochastic Barrier Functions.
IEEE Control. Syst. Lett., 2021

Reachability Analysis of Convolutional Neural Networks.
CoRR, 2021

PerceMon: Online Monitoring for Perception Systems.
Proceedings of the Runtime Verification - 21st International Conference, 2021

Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Reachability analysis of deep ReLU neural networks using facet-vertex incidence.
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.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020
Falsification of Cyber-Physical Systems with Constrained Signal Spaces.
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Specification-guided Software Fault Localization for Autonomous Mobile Systems.
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.
Proceedings of the 20th International Conference on Embedded Software, 2020

RTAMT: Online Robustness Monitors from STL.
Proceedings of the Automated Technology for Verification and Analysis, 2020

2019
Application of Abstract Interpretation to the Automotive Electronic Control System.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Learning Deep Neural Network Controllers for Dynamical Systems with Safety Guarantees: Invited Paper.
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.
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016


  Loading...