Toru Takisaka

According to our database, Toru Takisaka authored at least 16 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., February, 2024

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., May, 2023

Fairness in Ranking Supermartingales.

Toru Takisaka, Libo Zhang, Changjiang Wang, Jiamou Liu

CoRR, 2023

Connectivity in the Presence of an Opponent.

Zihui Liang, Bakh Khoussainov, Toru Takisaka, Mingyu Xiao

Proceedings of the 31st Annual European Symposium on Algorithms, 2023

Learning Density-Based Correlated Equilibria for Markov Games.

Libo Zhang, Yang Chen, Toru Takisaka, Bakh Khoussainov, Michael Witbrock, Jiamou Liu

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

Infinite Strings and their Large Scale Properties.

Bakh Khoussainov, Toru Takisaka

J. Symb. Log., 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

Explaining the Behaviour of Game Agents Using Differential Comparison.

Ezequiel Castellano, Xiao-Yi Zhang, Paolo Arcaini, Toru Takisaka, Fuyuki Ishikawa, Nozomu Ikehata, Kosuke Iwakura

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Dynamic Shielding for Reinforcement Learning in Black-Box Environments.

Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Ranking and Repulsing Supermartingales for Reachability in Randomized Programs.

Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo

ACM Trans. Program. Lang. Syst., 2021

2020

Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games.

Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

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

2018

Ranking and Repulsing Supermartingales for Approximating Reachability.

Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo

CoRR, 2018

Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs.

Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Large scale geometries of infinite strings.

Bakh Khoussainov, Toru Takisaka

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2014

On Gács' quantum algorithmic entropy.

Toru Takisaka

Proceedings of the 11th workshop on Quantum Physics and Logic, 2014