Study on speaker verification with non-audible murmur segments. - Hideki Okamoto; Mariko Kojima; Tomoko Matsui; Hiromichi Kawanami; Hiroshi Saruwatari; Kiyohiro Shikano (INTERSPEECH, 2007)

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 (INTERSPEECH, 2008)

Quantitative Verification for Neural Networks using ProbStars. - Hoang-Dung Tran; Sungwoo Choi; Hideki Okamoto; Bardh Hoxha; Georgios Fainekos; Danil V. Prokhorov (HSCC, 2023)

Pattern Matching for Perception Streams. - Jacob Anderson; Georgios Fainekos; Bardh Hoxha; Hideki Okamoto; Danil V. Prokhorov (RV, 2023)

Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation. - Hardik Parwana; Mitchell Black 001; 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 007; Mitchell Black 001; Georgios Fainekos; Bardh Hoxha; Hideki Okamoto; Rahul Mangharam (ACC, 2024)

Optimal Planning for Timed Partial Order Specifications. - Kandai Watanabe; Georgios Fainekos; Bardh Hoxha; Morteza Lahijanian; Hideki Okamoto; Sriram Sankaranarayanan 001 (ICRA, 2024)

CBFkit: A Control Barrier Function Toolbox for Robotics Applications. - Mitchell Black 001; Georgios Fainekos; Bardh Hoxha; Hideki Okamoto; Danil V. Prokhorov (IROS, 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 (NFM, 2024)

Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions. - Hardik Parwana; Mitchell Black 001; 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 001 (CoRR, 2024)

Querying Perception Streams with Spatial Regular Expressions. - Jacob Anderson; Georgios Fainekos; Bardh Hoxha; Hideki Okamoto; Danil V. Prokhorov (CoRR, 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)

Risk-aware MPPI for Stochastic Hybrid Systems. - Hardik Parwana; Mitchell Black 001; Bardh Hoxha; Hideki Okamoto; Georgios Fainekos; Danil V. Prokhorov; Dimitra Panagou (ACC, 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 (CAV (2), 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 (HSCC, 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, 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, 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, 2025)