Tomoya Yamaguchi

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 28

Top Topics

Top Venues

IEEE Control. Syst. Lett.

Publications

Tomoya Yamaguchi, Bardh Hoxha, Dejan Nickovic
RTAMT - Runtime Robustness Monitors with Application to CPS and Robotics. Int. J. Softw. Tools Technol. Transf. 26 (1) (2024)
Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems. ICCPS (2023)
Navid Hashemi, Xin Qin, Jyotirmoy V. Deshmukh, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Tomoya Yamaguchi
Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives. ACC (2023)
Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Danil V. Prokhorov, Sriram Sankaranarayanan, Tomoya Yamaguchi
Timed Partial Order Inference Algorithm. ICAPS (2023)
Ippei Nishitani, Tomoya Yamaguchi, Bardh Hoxha
Checkmate: Fault Timing Localization for Multi-Robot Scenarios. CASE (2023)
Kandai Watanabe, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Morteza Lahijanian, Sriram Sankaranarayanan, Tomoya Yamaguchi
Timed Partial Order Inference Algorithm. CoRR (2023)
Hoang-Dung Tran, Sung Woo Choi, Xiaodong Yang, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov
Verification of Recurrent Neural Networks with Star Reachability. HSCC (2023)
Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov, Georgios Fainekos, Jyotirmoy Deshmukh
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems. CoRR (2023)
Navid Hashemi, Xin Qin, Jyotirmoy V. Deshmukh, Georgios Fainekos, Bardh Hoxha, Danil V. Prokhorov, Tomoya Yamaguchi
Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives. CoRR (2022)
Sergiy Bogomolov, Abdelrahman Hekal, Bardh Hoxha, Tomoya Yamaguchi
Runtime Assurance for Autonomous Driving with Neural Reachability. ITSC (2022)
Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos
PerceMon: Online Monitoring for Perception Systems. RV (2021)
Shakiba Yaghoubi, Keyvan Majd, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha
Risk-Bounded Control Using Stochastic Barrier Functions. IEEE Control. Syst. Lett. 5 (5) (2021)
Shakiba Yaghoubi, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha
Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions. CDC (2021)
Xiaodong Yang, Tomoya Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov
Reachability Analysis of Convolutional Neural Networks. CoRR (2021)
Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos
PerceMon: Online Monitoring for Perception Systems. CoRR (2021)
Shakiba Yaghoubi, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha
Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions. CoRR (2021)
Xiaodong Yang, Taylor T. Johnson, Hoang-Dung Tran, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov
Reachability analysis of deep ReLU neural networks using facet-vertex incidence. HSCC (2021)
Shakiba Yaghoubi, Keyvan Majd, Georgios Fainekos, Tomoya Yamaguchi, Danil V. Prokhorov, Bardh Hoxha
Risk-bounded Control using Stochastic Barrier Functions. ACC (2021)
Keyvan Majd, Shakiba Yaghoubi, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos
Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions. IROS (2021)
Keyvan Majd, Shakiba Yaghoubi, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos
Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions. CoRR (2021)
Yuji Date, Takeshi Baba, Bardh Hoxha, Tomoya Yamaguchi, Danil V. Prokhorov
Application of Simulation-Based Methods on Autonomous Vehicle Control with Deep Neural Network: Work-in-Progress. EMSOFT (2020)
Dejan Nickovic, Tomoya Yamaguchi
RTAMT: Online Robustness Monitors from STL. ATVA (2020)
Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov, Jyotirmoy V. Deshmukh
Specification-guided Software Fault Localization for Autonomous Mobile Systems. MEMOCODE (2020)
Dejan Nickovic, Tomoya Yamaguchi
RTAMT: Online Robustness Monitors from STL. CoRR (2020)
Benoît Barbot, Nicolas Basset, Thao Dang, Alexandre Donzé, James Kapinski, Tomoya Yamaguchi
Falsification of Cyber-Physical Systems with Constrained Signal Spaces. NFM (2020)
Jyotirmoy V. Deshmukh, James Kapinski, Tomoya Yamaguchi, Danil V. Prokhorov
Learning Deep Neural Network Controllers for Dynamical Systems with Safety Guarantees: Invited Paper. ICCAD (2019)
Tomoya Yamaguchi, Martin Brain, Chirs Ryder, Yosikazu Imai, Yoshiumi Kawamura
Application of Abstract Interpretation to the Automotive Electronic Control System. VMCAI (2019)
Tomoya Yamaguchi, Tomoyuki Kaga, Alexandre Donzé, Sanjit A. Seshia
Combining requirement mining, software model checking and simulation-based verification for industrial automotive systems. FMCAD (2016)