According to our database1, Tomoya Yamaguchi authored at least 8 papers between 2016 and 2021.
Legend:Book In proceedings Article PhD thesis Other
IEEE Control. Syst. Lett., 2021
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020
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
Proceedings of the Automated Technology for Verification and Analysis, 2020
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
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