Hideki Okamoto
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2007–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | 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 |
| 2025 | IROS | Neural Configuration Distance Function for Continuum Robot Control. | Kehan Long, Hardik Parwana, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Nikolay Atanasov |
| 2024 | IROS | CBFkit: A Control Barrier Function Toolbox for Robotics Applications. | Mitchell Black, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov |
| 2024 | ICRA | Optimal Planning for Timed Partial Order Specifications. | Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Hideki Okamoto, Sriram Sankaranarayanan |
| 2023 | RV | Pattern Matching for Perception Streams. | Jacob Anderson, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov |
| 2008 | Interspeech | 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 |
| 2007 | Interspeech | Study on speaker verification with non-audible murmur segments. | Hideki Okamoto, Mariko Kojima, Tomoko Matsui, Hiromichi Kawanami, Hiroshi Saruwatari, Kiyohiro Shikano |