滝坂 透
Takisaka Toru
更新日: 2023/12/07
基本情報
研究分野
1学歴
1-
2012年4月 - 2018年3月
論文
13-
Automatica 160 111441-111441 2024年2月
-
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(5) 1718-1731 2023年5月
-
CoRR abs/2207.13446 2022年
-
Moment Propagation Through Carleman Linearization with Application to Probabilistic Safety Analysis.CoRR abs/2201.08648 2022年
-
[To Appear] ACM TOPLAS 43(2) 1-46 2021年 査読有り筆頭著者責任著者
-
The Journal of Symbolic Logic 1-42 2020年10月30日 査読有り責任著者
-
Proceedings of the 32nd International Conference on Computer-Aided Verification (CAV 2020) 349-371 2020年7月 査読有り責任著者
-
Proceedings of the 21st International Federation of Automatic Control World Congress (IFAC 2020) 2020年 査読有り
-
International Symposium on Automated Technology for Verification and Analysis (ATVA 2018) 476-493 2018年11月 査読有り
-
CoRR abs/1805.10749 2018年
-
Proceedings - Symposium on Logic in Computer Science 2017年8月8日 査読有り
-
Quantum Physics and Logic (QPL2014) 172 204-216 2014年12月28日 査読有り
講演・口頭発表等
3-
The 32nd International Conference on Computer-Aided Verification (CAV 2020) 2020年7月23日
-
Asian Logic Conference 2019年6月18日 招待有り
-
日本ソフトウェア科学会第35回大会 2018年8月29日 招待有り