Hideki Okamoto

According to our database, Hideki Okamoto authored at least 7 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

SMT-Based Dynamic Multi-Robot Task Allocation.

Victoria Marie Tuck, Pei-Wei Chen, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, S. Shankar Sastry, Sanjit A. Seshia

CoRR, 2024

2023

Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation.

Hardik Parwana, Mitchell Black, Bardh Hoxha, Hideki Okamoto, Georgios Fainekos, Danil V. Prokhorov, Dimitra Panagou

CoRR, 2023

Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions.

Shuo Yang, Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Rahul Mangharam

CoRR, 2023

Pattern Matching for Perception Streams.

Jacob Anderson, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Quantitative Verification for Neural Networks using ProbStars.

Hoang-Dung Tran, Sungwoo Choi, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos, Danil V. Prokhorov

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

2008

Speaker verification with non-audible murmur segments by combining global alignment kernel and penalized logistic regression machine.

Hideki Okamoto, Tomoko Matsui, Hiromichi Kawanami, Hiroshi Saruwatari, Kiyohiro Shikano

Proceedings of the INTERSPEECH 2008, 2008

2007

Study on speaker verification with non-audible murmur segments.

Hideki Okamoto, Mariko Kojima, Tomoko Matsui, Hiromichi Kawanami, Hiroshi Saruwatari, Kiyohiro Shikano

Proceedings of the INTERSPEECH 2007, 2007