| 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 | 60 | 2020 |
| 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 | 7 | 2020 |
| Sharper and simpler nonlinear interpolants for program verification T Okudono, Y Nishida, K Kojima, K Suenaga, K Kido, I Hasuo Asian Symposium on Programming Languages and Systems, 491-513, 2017 | 7 | 2017 |
| 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 | 3 | 2020 |
| Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination T Okudono, M Waga, T Sekiyama, I Hasuo arXiv preprint arXiv:2407.09775, 2024 | | 2024 |
| Algebraic Abstraction in Formal Methods (形式手法における代数的抽象化) T Okudono The Graduate University for Advanced Studies, 2021 | | 2021 |
