Hideki Okamoto

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 10

Top Topics

Pattern Matching

Admissible Heuristics

Top Venues

Publications

Victoria Marie Tuck, Pei-Wei Chen, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, S. Shankar Sastry, Sanjit A. Seshia
SMT-Based Dynamic Multi-Robot Task Allocation. NFM (2024)
Victoria Marie Tuck, Pei-Wei Chen, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, S. Shankar Sastry, Sanjit A. Seshia
SMT-Based Dynamic Multi-Robot Task Allocation. CoRR (2024)
Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov
CBFKIT: A Control Barrier Function Toolbox for Robotics Applications. CoRR (2024)
Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Hideki Okamoto, Sriram Sankaranarayanan
Optimal Planning for Timed Partial Order Specifications. CoRR (2024)
Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Hideki Okamoto, Sriram Sankaranarayanan
Optimal Planning for Timed Partial Order Specifications. ICRA (2024)
Hardik Parwana, Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov
Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions. CoRR (2024)
Shuo Yang, Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Rahul Mangharam
Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions. CoRR (2023)
Hoang-Dung Tran, Sungwoo Choi, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos, Danil V. Prokhorov
Quantitative Verification for Neural Networks using ProbStars. HSCC (2023)
Jacob Anderson, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov
Pattern Matching for Perception Streams. RV (2023)
Hardik Parwana, Mitchell Black, Bardh Hoxha, Hideki Okamoto, Georgios Fainekos, Danil V. Prokhorov, Dimitra Panagou
Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation. CoRR (2023)
Hideki Okamoto, Tomoko Matsui, Hiromichi Kawanami, Hiroshi Saruwatari, Kiyohiro Shikano
Speaker verification with non-audible murmur segments by combining global alignment kernel and penalized logistic regression machine. INTERSPEECH (2008)
Hideki Okamoto, Mariko Kojima, Tomoko Matsui, Hiromichi Kawanami, Hiroshi Saruwatari, Kiyohiro Shikano
Study on speaker verification with non-audible murmur segments. INTERSPEECH (2007)