Toru Takisaka（滝坂 透）

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

• Our group is recruiting students, and hiring postdocs / faculties. Visit our website or contact me :)

Upcoming visits

• Aug. 1st—Sep. 9th ... In Tokyo, Japan
• Sep. 9th—Sep. 12th ... Attending JSSST annual conference at Osaka, Japan
• Sep. 3th— ... In Chengdu, China

Research Interests

• Probabilistic Program Verification
• Algorithmic Randomness
• Automata Theory

Affiliation

• Nov. 2023—present associate professor at Algorithms and Logic Group, UESTC, China
• Apr. 2023—Oct. 2023 research associate professor at Algorithms and Logic Group, UESTC, China
• Apr. 2022—Mar. 2023 postdoc at Algorithms and Logic Group, UESTC, China
• Apr. 2018—Mar. 2022 project researcher at ERATO Metamathematics for Systems Design Project, National Institute of Informatics (NII), Japan
• Apr. 2014—Mar. 2018 Ph.D. student at Computer Science group, Research Institute for Mathematical Sciences, Japan (Supervisor: Masahito Hasegawa)
• Apr. 2012—Mar. 2014 MSc student at Computer Science group, Research Institute for Mathematical Sciences, Japan (Supervisor: Masahito Hasegawa)

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]

Theses

• Toru Takisaka.
  Large Scale Geometries of Infinite Strings.
  Ph.D. thesis, Kyoto University, 2018.
• Toru Takisaka.
  On Gács' quantum algorithmic entropy.
  MSc thesis, Kyoto University, 2014.

Talks

• Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games.
  CAV 2020, virtual conference, 23 Jul 2020. [pdf | video]
• Large Scale Geometries of Infinite Strings.
  ALC 2019, Nazarbayev University, Astan, Kazakhstan. 18 Jun 2019. [pdf]
• Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs.
  ATVA 2018, University of Southern California, Los Angeles, USA. 10 Oct 2018. [pdf]
• Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs.
  JSSST 2018, Osaka University, Osaka, Japan. 29 Aug 2018. [pdf]
• Large Scale Geometries of Infinite Strings.
  LICS 2017, Reykjavik, Iceland. 23 Jun 2017.
• On Gács’ quantum algorithmic entropy.
  QPL 2014, Kyoto, Japan. 5 Jun 2014.

Contact

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