Hideki Okamoto

Cited by

	All	Since 2019
Citations	18	12
h-index	3	2
i10-index	0	0

2007200820092010201120122013201420152016201720182019202020212022202320241 2 1 1 1 1 2 2 7

Co-authors

Bardh HoxhaToyota Research Institute of North AmericaVerified email at toyota.com
Georgios FainekosToyota Research Institute of North AmericaVerified email at toyota.com
Danil ProkhorovToyota Tech Center, Ann Arbor, MIVerified email at toyota.com
Kiyohiro ShikanoNara Institute of Science and TechnologyVerified email at is.naist.jp
Tomoko MatsuiInstitute of Statistical MathematicsVerified email at ism.ac.jp
Hiroshi SaruwatariProfessor, The University of TokyoVerified email at ipc.i.u-tokyo.ac.jp
Mitchell BlackToyota Research Institute of North America (TRINA)Verified email at toyota.com
Hoang-Dung TranUniversity of Nebraska at LincolnVerified email at unl.edu
Shuo YangUniversity of PennsylvaniaVerified email at seas.upenn.edu
Jacob AndersonArizona State UniversityVerified email at asu.edu
Hardik ParwanaGraduate Student, University of MichiganVerified email at umich.edu
Dimitra PanagouUniversity of Michigan, Department of Robotics and Department of Aerospace EngineeringVerified email at umich.edu

Hideki Okamoto

Toyota Motor North America R&D

Verified email at toyota.com

Speaker verification AI Machine Learning Neural Network


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Study on speaker verification with non-audible murmur segments H Okamoto, M Kojima, T Matsui, H Saruwatari, K Shikano, H Kawanami	7	2007
Quantitative verification for neural networks using probstars HD Tran, S Choi, H Okamoto, B Hoxha, G Fainekos, D Prokhorov Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023	6	2023
Safe control synthesis for hybrid systems through local control barrier functions S Yang, M Black, G Fainekos, B Hoxha, H Okamoto, R Mangharam arXiv preprint arXiv:2311.17201, 2023	3	2023
Pattern matching for perception streams J Anderson, G Fainekos, B Hoxha, H Okamoto, D Prokhorov International Conference on Runtime Verification, 251-270, 2023	1	2023
Speaker verification with non-audible murmur segments by combining global alignment kernel and penalized logistic regression machine H Okamoto, T Matsui, H Kawanami, H Saruwatari, K Shikano	1	2008
CBFKIT: A Control Barrier Function Toolbox for Robotics Applications M Black, G Fainekos, B Hoxha, H Okamoto, D Prokhorov arXiv preprint arXiv:2404.07158, 2024		2024
SMT-Based Dynamic Multi-Robot Task Allocation VM Tuck, PW Chen, G Fainekos, B Hoxha, H Okamoto, SS Sastry, ... arXiv preprint arXiv:2403.11737, 2024		2024
Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation H Parwana, M Black, B Hoxha, H Okamoto, G Fainekos, D Prokhorov, ... arXiv preprint arXiv:2312.07803, 2023		2023
Optimal Planning for Timed Partial Order Specifications K Watanabe, G Fainekos, B Hoxha, M Lahijanian, H Okamoto, ...
Evaluation of speaker verification with NAM segments using unknown speakers H Okamoto, M Kojima, T Matsui, H Kawanami, H Saruwatari, K Shikano IEICE Technical Report; IEICE Tech. Rep. 107 (165), 79-84, 0

The system can't perform the operation now. Try again later.

Articles 1–10

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors