conf.researchr.org / Ryota Suzuki

Not registered as user yet

Name: Ryota Suzuki

Contributions

SAS 2020 Author of Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking within the SAS-track
FSCD 2017 Author of Streett Automata Model Checking of Higher-Order Recursion Schemes within the FSCD 2017-track