Streett Automata Model Checking of Higher-Order Recursion Schemes. - Ryota Suzuki 002; Koichi Fujima; Naoki Kobayashi 001; Takeshi Tsukada (FSCD, 2017)

Predicate Abstraction and CEGAR for $ nu mathrm {HFL}_ mathbb {Z}$ Validity Checking. - Naoki Iwayama; Naoki Kobayashi 001; Ryota Suzuki 002; Takeshi Tsukada (SAS, 2020)