Yamaguchi, Tomoya
742  Ergebnisse:
Personensuche X
?
2

An Experimental Study on the Addition of Bacteria to Residu..:

Kikuchi, Ken ; Miyauchi, Rei ; Yamaguchi, Tomoya...
Japanese Journal of Infectious Diseases.  77 (2024)  2 - p. 61-67 , 2024
 
?
 
?
5

A Neurosymbolic Approach to the Verification of Temporal Lo..:

, In: Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023),
Hashemi, Navid ; Hoxha, Bardh ; Yamaguchi, Tomoya... - p. 98-109 , 2023
 
?
8

Checkmate: Fault Timing Localization for Multi-Robot Scenar..:

, In: 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE),
 
?
 
?
11

RTAMT – Runtime Robustness Monitors with Application to CPS..:

Yamaguchi, Tomoya ; Hoxha, Bardh ; Ničković, Dejan
International Journal on Software Tools for Technology Transfer.  26 (2023)  1 - p. 79-99 , 2023
 
?
15

Verification of Recurrent Neural Networks with Star Reachab..:

, In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control,
 
1-15