C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Hideki Okamoto
ORCID
Publication Activity (10 Years)
Years Active: 2007-2023
Publications (10 Years): 4
Top Topics
Pattern Matching
Bit Parallel
Hybrid Systems
Boyer Moore
Top Venues
CoRR
HSCC
RV
</>
Publications
</>
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)