Tomoya Yamaguchi

30 papers A* 1A 2B 4C 3Misc 1Journal 11Unranked 8

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