滝坂透 (Takisaka Toru) - マイポータル

基本情報

所属: 電子科技大学准教授

連絡先: takisakauestc.edu.cn
J-GLOBAL ID: 201801014635278756
researchmap会員ID: B000289881

外部リンク: https://takisaka.github.io/

研究分野

情報通信 / 情報学基礎論 /

経歴

2022年4月 - 現在

電子科技大学
2018年4月 - 2022年3月

国立情報学研究所

学歴

2012年4月 - 2018年3月

京都大学

論文

Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis

Sasinee Pruekprasert, Jeremy Dubut, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya

Automatica 160 111441-111441 2024年2月
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. 42(5) 1718-1731 2023年5月
INFINITE STRINGS AND THEIR LARGE SCALE PROPERTIES

BAKH KHOUSSAINOV, TORU TAKISAKA

The Journal of Symbolic Logic 87(2) 585-625 2022年6月査読有り責任著者
Explaining the Behaviour of Game Agents Using Differential Comparison.

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

ASE 210-8 2022年
Dynamic Shielding for Reinforcement Learning in Black-Box Environments.

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

CoRR abs/2207.13446 2022年
Dynamic Shielding for Reinforcement Learning in Black-Box Environments.

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

ATVA 25-41 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 abs/2201.08648 2022年
Ranking and Repulsing Supermartingales for Reachability in Randomized Programs.

Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo

[To Appear] ACM TOPLAS 43(2) 1-46 2021年査読有り筆頭著者責任著者
Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games

Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo

Proceedings of the 32nd International Conference on Computer-Aided Verification (CAV 2020) 349-371 2020年7月査読有り責任著者
Moment Propagation of Discrete-Time Stochastic Polynomial Systems using Truncated Carleman Linearization

Sasinee Pruekprasert, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya, Jérémy Dubut

Proceedings of the 21st International Federation of Automatic Control World Congress (IFAC 2020) abs/1911.12683 2020年査読有り
Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs

Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo

International Symposium on Automated Technology for Verification and Analysis (ATVA 2018) 476-493 2018年11月査読有り
Ranking and Repulsing Supermartingales for Approximating Reachability.

Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo

CoRR abs/1805.10749 2018年
Large scale geometries of infinite strings

Bakh Khoussainov, Toru Takisaka

Proceedings - Symposium on Logic in Computer Science 2017年8月8日査読有り
On Gács' quantum algorithmic entropy

Toru Takisaka

Quantum Physics and Logic (QPL2014) 172 204-216 2014年12月28日査読有り

講演・口頭発表等

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

Toru Takisaka

The 32nd International Conference on Computer-Aided Verification (CAV 2020) 2020年7月23日
Large Scale Geometries of Infinite Strings

Toru Takisaka

Asian Logic Conference 2019年6月18日招待有り
Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs

Toru Takisaka

日本ソフトウェア科学会第35回大会 2018年8月29日招待有り

滝坂透

基本情報

研究分野

経歴

学歴

論文

講演・口頭発表等

メニュー

共著者の一覧