研究者

J-GLOBAL ID：201801014635278756 更新日: 2024年10月31日

滝坂透

タキサカトオル | Toru Takisaka

所属機関・部署：
職名：准教授
ホームページURL (1件)： https://takisaka.github.io/

研究分野 (1件)：情報学基礎論

論文 (14件)：

Sasinee Pruekprasert, Jeremy Dubut, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya. Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis. Automatica. 2024. 160. 111441-111441
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. 2023. 42. 5. 1718-1731
BAKH KHOUSSAINOV, TORU TAKISAKA. INFINITE STRINGS AND THEIR LARGE SCALE PROPERTIES. The Journal of Symbolic Logic. 2022. 87. 2. 585-625
Ezequiel Castellano, Xiao-Yi Zhang 0005, Paolo Arcaini, Toru Takisaka, Fuyuki Ishikawa, Nozomu Ikehata, Kosuke Iwakura. Explaining the Behaviour of Game Agents Using Differential Comparison. ASE. 2022. 210-8
Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo. Dynamic Shielding for Reinforcement Learning in Black-Box Environments. CoRR. 2022. abs/2207.13446

もっと見る

講演・口頭発表等 (3件)：

Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games
(The 32nd International Conference on Computer-Aided Verification (CAV 2020) 2020)
Large Scale Geometries of Infinite Strings
(Asian Logic Conference 2019)
Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs
(日本ソフトウェア科学会第35回大会 2018)

学歴 (1件)：

2012 - 2018 京都大学

経歴 (2件)：

2022/04 - 現在電子科技大学
2018/04 - 2022/03 国立情報学研究所

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM