Login / Signup
Takuya Ishizawa
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 2
Top Topics
Meta Learning
Computational Intelligence
Hybrid Systems
State Space
Top Venues
VMCAI
CoRR
</>
Publications
</>
Kohei Suenaga
,
Takuya Ishizawa
Generalized Property-Directed Reachability for Hybrid Systems.
VMCAI
(2020)
Kohei Suenaga
,
Takuya Ishizawa
Generalized Property-Directed Reachability for Hybrid Systems.
CoRR
(2019)