Ryota Suzuki

Affiliations:

The University of Tokyo, Department of Information Science and Technology, Japan

According to our database¹, Ryota Suzuki authored at least 2 papers between 2017 and 2020.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2020

Predicate Abstraction and CEGAR for $\nu \mathrm {HFL}_\mathbb {Z}$ Validity Checking.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 27th International Symposium, 2020

2017

Streett Automata Model Checking of Higher-Order Recursion Schemes.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017