Takamasa Okudono

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 8

Top Topics

Finite Automata

Recurrent Neural Networks

Hybrid Genetic Algorithm

Top Venues

Publications

Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo
Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination. CoRR (2024)
Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. AAAI (2020)
Elena Gutiérrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo
Genetic algorithm for the weight maximization problem on weighted automata. GECCO (2020)
Takamasa Okudono, Andy King
Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic. TACAS (1) (2020)
Elena Gutiérrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo
Genetic Algorithm for the Weight Maximization Problem on Weighted Automata. CoRR (2020)
Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. CoRR (2019)
Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo
Sharper and Simpler Nonlinear Interpolants for Program Verification. CoRR (2017)
Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo
Sharper and Simpler Nonlinear Interpolants for Program Verification. APLAS (2017)