Takamasa Okudono

According to our database, Takamasa Okudono authored at least 5 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Algebraic Abstraction in Formal Methods.

Takamasa Okudono

PhD thesis, 2021

2020

Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic.

Takamasa Okudono, Andy King

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Genetic algorithm for the weight maximization problem on weighted automata.

Elena Gutiérrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo

Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020

Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces.

Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2017

Sharper and Simpler Nonlinear Interpolants for Program Verification.

Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017