Toru Takisaka（滝坂 透）

I am an associate professor at the Algorithms and Logic Group in UESTC, China.
Email: takisaka[at]uestc.edu.cn

• My CV (Last Updated: 2025/3/17)
• Our group is recruiting students, and hiring postdocs / faculties. Visit our website or contact me :)

Research Interests

• Probabilistic verification
• Games on graphs
• Application of formal methods to related fields (e.g., testing, reinforcement learning, etc.)

Professional Activities

• Program committee member: COCOON 2025, PPL 2024 (Japanese), PPL 2021 (Japanese)
• Organizing committee member: COCOON 2025, WALCOM 2025
• External reviewer: MFCS 2024, ICALP 2024, COCOON 2024, ATVA 2023, ISAAC 2023, ESOP 2021, CONCUR 2019, LICS 2018

Papers

• Toru Takisaka, Libo Zhang, Changjiang Wang, and Jiamou Liu.
  Lexicographic Ranking Supermartingales with Lazy Lower Bounds.
  Proc. CAV 2024. [doi | arXiv]
• Sasinee Pruekprasert, Jérémy Dubut, Toru Takisaka, Clovis Eberhart, and Ahmet Cetinkaya.
  Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis.
  Automatica, Volume 160, February 2024, 111441. [doi]
• Zihui Liang, Bakhadyr Khoussainov, Toru Takisaka, and Mingyu Xiao.
  Connectivity in the presence of an opponent.
  Proc. ESA 2023. [doi | arXiv]
• Libo Zhang, Yang Chen, Toru Takisaka, Bakhadyr Khoussainov, Michael Witbrock, and Jiamou Liu.
  Learning Density-Based Correlated Equilibria for Markov Games.
  Proc. AAMAS 2023. [doi | arXiv]
• Ezequiel Castellano, Xiao-Yi Zhang, Paolo Arcaini, Toru Takisaka, Fuyuki Ishikawa, Nozomu Ikehata, and Kosuke Iwakura.
  Explaining the Behaviour of Game Agents Using Differential Comparison.
  Proc. ASE4Games 2022. [doi]
• Toru Takisaka, Zhenya Zhang, Paolo Arcaini, and Ichiro Hasuo.
  A Robustness-Based Confidence Measure for Hybrid System Falsification.
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Volume 42, Issue 5, 2023. [doi (open access)]
• Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, and Ichiro Hasuo.
  Dynamic Shielding for Reinforcement Learning in Black-Box Environments.
  Proc. ATVA 2022. [doi | arXiv]
• Bakhadyr Khoussainov and Toru Takisaka.
  Infinite Strings And Their Large Scale Properties.
  The Journal Of Symbolic Logic, Volume 87, Issue 2, 2022. [doi]
• Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe and Ichiro Hasuo.
  Ranking and Repulsing Supermartingales for Reachability in Randomized Programs.
  ACM Transactions on Programming Languages and Systems, Volume 43, Issue 2, 2021. [doi (open access)]
• Kittiphon Phalakarn, Toru Takisaka, Thomas Haas and Ichiro Hasuo.
  Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games.
  Proc. CAV 2020. [doi | arXiv]
• Sasinee Pruekprasert, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya and Jérémy Dubut.
  Moment Propagation of Discrete-Time Stochastic Polynomial Systems using Truncated Carleman Linearization.
  Proc. 2020 IFAC World Congress. [doi | arXiv]
• Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe and Ichiro Hasuo.
  Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs.
  Proc. ATVA 2018. [doi | arXiv]
• Bakhadyr Khoussainov and Toru Takisaka.
  Large Scale Geometries of Infinite Strings.
  Proc. LICS 2017. [doi| arXiv]
• Toru Takisaka.
  On Gács' quantum algorithmic entropy.
  Proc. QPL 2014. [doi | arXiv]

Contact

• Office:
  • No.2006 Xiyuan Ave, West Hi-Tech Zone, Chengdu, Sichuan, China
• Email: takisaka[at]uestc.edu.cn