Login / Signup
Kazuma Hirota
ORCID
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Concurrent Systems
Inference Process
Temporal Logic
Bounded Model Checking
Top Venues
IEEE Control. Syst. Lett.
CoRR
</>
Publications
</>
Nasim Baharisangari
,
Kazuma Hirota
,
Ruixuan Yan
,
Agung Julius
,
Zhe Xu
Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks.
IEEE Control. Syst. Lett.
6 (2022)
Nasim Baharisangari
,
Kazuma Hirota
,
Ruixuan Yan
,
Agung Julius
,
Zhe Xu
Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks.
CoRR
(2021)