Hideki Okamoto

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

Collaborative distances:

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

2024

Neural Configuration Distance Function for Continuum Robot Control.

Kehan Long, Hardik Parwana, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Nikolay Atanasov

CoRR, 2024

Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions.

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

CoRR, 2024

CBFKIT: A Control Barrier Function Toolbox for Robotics Applications.

Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov

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

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

Optimal Planning for Timed Partial Order Specifications.

Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Hideki Okamoto, Sriram Sankaranarayanan

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

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

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

Proceedings of the American Control Conference, 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

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 9th Annual Conference of the International Speech Communication Association, 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 8th Annual Conference of the International Speech Communication Association, 2007