Follow
Takamasa Okudono
Takamasa Okudono
National Institute of Infromatics / The Graduate University for Advanced Studies
Verified email at nii.ac.jp - Homepage
Title
Cited by
Cited by
Year
Weighted automata extraction from recurrent neural networks via regression on state spaces
T Okudono, M Waga, T Sekiyama, I Hasuo
Proceedings of the AAAI Conference on Artificial Intelligence 34 (04), 5306-5314, 2020
452020
Sharper and simpler nonlinear interpolants for program verification
T Okudono, Y Nishida, K Kojima, K Suenaga, K Kido, I Hasuo
Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou …, 2017
72017
Mind the gap: Bit-vector interpolation recast over linear integer arithmetic
T Okudono, A King
International Conference on Tools and Algorithms for the Construction and …, 2020
62020
Genetic algorithm for the weight maximization problem on weighted automata
E Gutiérrez, T Okudono, M Waga, I Hasuo
Proceedings of the 2020 Genetic and Evolutionary Computation Conference, 699-707, 2020
32020
Algebraic Abstraction in Formal Methods (形式手法における代数的抽象化)
T Okudono
The Graduate University for Advanced Studies, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–5