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 | | |