Sharper and Simpler Nonlinear Interpolants for Program Verification. - Takamasa Okudono; Yuki Nishida 001; Kensuke Kojima; Kohei Suenaga; Kengo Kido; Ichiro Hasuo (APLAS, 2017)

Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. - Takamasa Okudono; Masaki Waga; Taro Sekiyama; Ichiro Hasuo (AAAI, 2020)

Genetic algorithm for the weight maximization problem on weighted automata. - Elena Gutiérrez; Takamasa Okudono; Masaki Waga; Ichiro Hasuo (GECCO, 2020)

Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic. - Takamasa Okudono; Andy King (TACAS (1), 2020)

Algebraic Abstraction in Formal Methods. - Takamasa Okudono (2021)

Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination. - Takamasa Okudono; Masaki Waga; Taro Sekiyama; Ichiro Hasuo (CoRR, 2024)