Takuya Ishizawa

According to our database, Takuya Ishizawa authored at least 1 paper in 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Generalized Property-Directed Reachability for Hybrid Systems.

Kohei Suenaga, Takuya Ishizawa

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020