Toru Takisaka

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 21

Top Topics

Reinforcement Learning

Ranking Algorithm

Safety Analysis

Stochastic Games

Top Venues

Publications

Toru Takisaka, Libo Zhang, Changjiang Wang, Jiamou Liu
Lexicographic Ranking Supermartingales with Lazy Lower Bounds. CAV (3) (2024)
Sasinee Pruekprasert, Jérémy Dubut, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya
Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis. Autom. 160 (2024)
Libo Zhang, Yang Chen, Toru Takisaka, Bakh Khoussainov, Michael Witbrock, Jiamou Liu
Learning Density-Based Correlated Equilibria for Markov Games. CoRR (2023)
Zihui Liang, Bakh Khoussainov, Toru Takisaka, Mingyu Xiao
Connectivity in the Presence of an Opponent. ESA (2023)
Toru Takisaka, Libo Zhang, Changjiang Wang, Jiamou Liu
Fairness in Ranking Supermartingales. CoRR (2023)
Toru Takisaka, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
A Robustness-Based Confidence Measure for Hybrid System Falsification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (5) (2023)
Libo Zhang, Yang Chen, Toru Takisaka, Bakh Khoussainov, Michael Witbrock, Jiamou Liu
Learning Density-Based Correlated Equilibria for Markov Games. AAMAS (2023)
Zihui Liang, Bakh Khoussainov, Toru Takisaka, Mingyu Xiao
Connectivity in the presence of an opponent. CoRR (2023)
Bakh Khoussainov, Toru Takisaka
Infinite Strings and their Large Scale Properties. J. Symb. Log. 87 (2) (2022)
Sasinee Pruekprasert, Jérémy Dubut, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya
Moment Propagation Through Carleman Linearization with Application to Probabilistic Safety Analysis. CoRR (2022)
Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo
Dynamic Shielding for Reinforcement Learning in Black-Box Environments. ATVA (2022)
Ezequiel Castellano, Xiao-Yi Zhang, Paolo Arcaini, Toru Takisaka, Fuyuki Ishikawa, Nozomu Ikehata, Kosuke Iwakura
Explaining the Behaviour of Game Agents Using Differential Comparison. ASE (2022)
Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo
Dynamic Shielding for Reinforcement Learning in Black-Box Environments. CoRR (2022)
Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo
Ranking and Repulsing Supermartingales for Reachability in Randomized Programs. ACM Trans. Program. Lang. Syst. 43 (2) (2021)
Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo
Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games. CAV (2) (2020)
Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo
Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games. CoRR (2020)
Bakhadyr Khoussainov, Toru Takisaka
Large Scale Geometries of Infinite Strings. CoRR (2019)
Sasinee Pruekprasert, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya, Jérémy Dubut
Moment Propagation of Discrete-Time Stochastic Polynomial Systems using Truncated Carleman Linearization. CoRR (2019)
Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo
Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs. ATVA (2018)
Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo
Ranking and Repulsing Supermartingales for Approximating Reachability. CoRR (2018)
Bakh Khoussainov, Toru Takisaka
Large scale geometries of infinite strings. LICS (2017)
Toru Takisaka
On Gács' quantum algorithmic entropy. QPL (2014)