| Ranking and repulsing supermartingales for reachability in randomized programs T Takisaka, Y Oyabu, N Urabe, I Hasuo ACM Transactions on Programming Languages and Systems (TOPLAS) 43 (2), 1-46, 2021 | 31 | 2021 |
| Ranking and repulsing supermartingales for reachability in probabilistic programs T Takisaka, Y Oyabu, N Urabe, I Hasuo Automated Technology for Verification and Analysis: 16th International …, 2018 | 26 | 2018 |
| Widest paths and global propagation in bounded value iteration for stochastic games K Phalakarn, T Takisaka, T Haas, I Hasuo Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020 | 11 | 2020 |
| Dynamic shielding for reinforcement learning in black-box environments M Waga, E Castellano, S Pruekprasert, S Klikovits, T Takisaka, I Hasuo International Symposium on Automated Technology for Verification and …, 2022 | 9 | 2022 |
| Moment propagation of discrete-time stochastic polynomial systems using truncated carleman linearization S Pruekprasert, T Takisaka, C Eberhart, A Cetinkaya, J Dubut IFAC-PapersOnLine 53 (2), 14462-14469, 2020 | 7 | 2020 |
| Large scale geometries of infinite strings B Khoussainov, T Takisaka 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017 | 5 | 2017 |
| Explaining the behaviour of game agents using differential comparison E Castellano, XY Zhang, P Arcaini, T Takisaka, F Ishikawa, N Ikehata, ... Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 4 | 2022 |
| Lexicographic ranking supermartingales with lazy lower bounds T Takisaka, L Zhang, C Wang, J Liu International Conference on Computer Aided Verification, 420-442, 2024 | 3 | 2024 |
| Moment propagation through Carleman linearization with application to probabilistic safety analysis S Pruekprasert, J Dubut, T Takisaka, C Eberhart, A Cetinkaya arXiv preprint arXiv:2201.08648, 2022 | 3 | 2022 |
| Connectivity in the Presence of an Opponent Z Liang, B Khoussainov, T Takisaka, M Xiao arXiv preprint arXiv:2304.08783, 2023 | 2 | 2023 |
| A Robustness-Based Confidence Measure for Hybrid System Falsification T Takisaka, Z Zhang, P Arcaini, I Hasuo IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2022 | 2 | 2022 |
| Learning Density-Based Correlated Equilibria for Markov Games L Zhang, Y Chen, T Takisaka, B Khoussainov, M Witbrock, J Liu arXiv preprint arXiv:2302.08001, 2023 | 1 | 2023 |
| Infinite strings and their large scale properties B Khoussainov, T Takisaka The Journal of Symbolic Logic 87 (2), 585-625, 2022 | 1 | 2022 |
| Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis S Pruekprasert, J Dubut, T Takisaka, C Eberhart, A Cetinkaya Automatica 160, 111441, 2024 | | 2024 |
| System optimal control device, system optimal control method, and program K Phalakarn, T Takisaka, T Haas, I Hasuo US Patent App. 18/002,155, 2023 | | 2023 |
| Fairness in Ranking Supermartingales T Takisaka, L Zhang, C Wang, J Liu arXiv preprint arXiv:2304.11363, 2023 | | 2023 |
| Dynamic Shielding for Reinforcement Learning in Black-Box Environments S Klikovits, T Takisaka, I Hasuo Automated Technology for Verification and Analysis: 20th International …, 2022 | | 2022 |
| Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games I Hasuo, T Haas, K Phalakarn, T Takisaka (No Title), 2020 | | 2020 |
| Large Scale Geometries of Infinite Strings T Takisaka Kyoto University, 2018 | | 2018 |
| On G\'acs' quantum algorithmic entropy T Takisaka arXiv preprint arXiv:1412.8547, 2014 | | 2014 |
