On Gács' quantum algorithmic entropy. - Toru Takisaka (QPL, 2014)

Large scale geometries of infinite strings. - Bakh Khoussainov; Toru Takisaka (LICS, 2017)

Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs. - Toru Takisaka; Yuichiro Oyabu; Natsuki Urabe; Ichiro Hasuo (ATVA, 2018)

Ranking and Repulsing Supermartingales for Approximating Reachability. - Toru Takisaka; Yuichiro Oyabu; Natsuki Urabe; Ichiro Hasuo (CoRR, 2018)

Moment Propagation of Discrete-Time Stochastic Polynomial Systems using Truncated Carleman Linearization. - Sasinee Pruekprasert; Toru Takisaka; Clovis Eberhart; Ahmet Cetinkaya; Jérémy Dubut (CoRR, 2019)

Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games. - Kittiphon Phalakarn; Toru Takisaka; Thomas Haas; Ichiro Hasuo (CAV (2), 2020)

Ranking and Repulsing Supermartingales for Reachability in Randomized Programs. - Toru Takisaka; Yuichiro Oyabu; Natsuki Urabe; Ichiro Hasuo (ACM Trans. Program. Lang. Syst., 2021)

Dynamic Shielding for Reinforcement Learning in Black-Box Environments. - Masaki Waga; Ezequiel Castellano; Sasinee Pruekprasert; Stefan Klikovits; Toru Takisaka; Ichiro Hasuo (ATVA, 2022)

Explaining the Behaviour of Game Agents Using Differential Comparison. - Ezequiel Castellano; Xiao-Yi Zhang 005; Paolo Arcaini; Toru Takisaka; Fuyuki Ishikawa; Nozomu Ikehata; Kosuke Iwakura (ASE, 2022)

Moment Propagation Through Carleman Linearization with Application to Probabilistic Safety Analysis. - Sasinee Pruekprasert; Jérémy Dubut; Toru Takisaka; Clovis Eberhart; Ahmet Cetinkaya (CoRR, 2022)

Infinite Strings and their Large Scale Properties. - Bakh Khoussainov; Toru Takisaka (J. Symb. Log., 2022)

Learning Density-Based Correlated Equilibria for Markov Games. - Libo Zhang 006; Yang Chen 028; Toru Takisaka; Bakh Khoussainov; Michael Witbrock; Jiamou Liu (AAMAS, 2023)

Connectivity in the Presence of an Opponent. - Zihui Liang; Bakh Khoussainov; Toru Takisaka; Mingyu Xiao 001 (ESA, 2023)

Fairness in Ranking Supermartingales. - Toru Takisaka; Libo Zhang 006; Changjiang Wang; Jiamou Liu (CoRR, 2023)

A Robustness-Based Confidence Measure for Hybrid System Falsification. - Toru Takisaka; Zhenya Zhang; Paolo Arcaini; Ichiro Hasuo (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Lexicographic Ranking Supermartingales with Lazy Lower Bounds. - Toru Takisaka; Libo Zhang 006; Changjiang Wang; Jiamou Liu (CAV (3), 2024)

Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis. - Sasinee Pruekprasert; Jérémy Dubut; Toru Takisaka; Clovis Eberhart; Ahmet Cetinkaya (Autom., 2024)

Artifact for "Lexicoraphic Ranking Supermartingales with Lazy Lower Bounds" (CAV 2024). - Toru Takisaka; Libo Zhang 006; Changjiang Wang; Jiamou Liu (Zenodo, 2024)

Artifact for "Lexicographic Ranking Supermartingales with Lazy Lower Bounds" (CAV 2024). - Toru Takisaka; Libo Zhang 006; Changjiang Wang; Jiamou Liu (Zenodo, 2024)

Systematic Parameter Decision in Approximate Model Counting. - Jinping Lei; Toru Takisaka; Junqiang Peng 001; Mingyu Xiao 001 (CoRR, 2025)

Situational-Constrained Sequential Resources Allocation via Reinforcement Learning. - Libo Zhang 006; Yang Chen 028; Toru Takisaka; Kaiqi Zhao 001; Weidong Li; Jiamou Liu (CoRR, 2025)