Hideki Okamoto

According to our database, Hideki Okamoto authored at least 19 papers between 2007 and 2025.

Collaborative distances:

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

2025

GPU-Accelerated Barrier-Rate Guided MPPI Control for Tractor-Trailer Systems.

Keyvan Majd, Hardik Parwana, Bardh Hoxha, Steven Hong, Hideki Okamoto, Georgios Fainekos

CoRR, August, 2025

BR-MPPI: Barrier Rate guided MPPI for Enforcing Multiple Inequality Constraints with Learned Signed Distance Field.

Hardik Parwana, Taekyung Kim, Kehan Long, Bardh Hoxha, Hideki Okamoto, Georgios Fainekos, Dimitra Panagou

CoRR, June, 2025

MRTA-Sim: A Modular Simulator for Multi-Robot Allocation, Planning, and Control in Open-World Environments.

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

CoRR, April, 2025

ProbStar Temporal Logic for Verifying Complex Behaviors of Learning-enabled Systems.

Hoang-Dung Tran, Sung Woo Choi, Yuntao Li, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos

Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, 2025

StarV: A Qualitative and Quantitative Verification Tool for Learning-Enabled Systems.

Hoang-Dung Tran, Sung Woo Choi, Yuntao Li, Qing Liu, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

Risk-aware MPPI for Stochastic Hybrid Systems.

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

Proceedings of the 2025 American Control Conference, 2025

2024

From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles against Rare Events.

Yan Miao, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov, Sayan Mitra

CoRR, 2024

Querying Perception Streams with Spatial Regular Expressions.

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

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

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

CBFkit: A Control Barrier Function Toolbox for Robotics Applications.

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

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 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