Toru Takisaka
Orcid: 0000-0002-5046-7480
According to our database1,
Toru Takisaka
authored at least 18 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
1
2
2
1
1
1
1
2
2
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Artifact for "Lexicoraphic Ranking Supermartingales with Lazy Lower Bounds" (CAV 2024).
Dataset, April, 2024
Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis.
Autom., February, 2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
2023
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., May, 2023
Proceedings of the 31st Annual European Symposium on Algorithms, 2023
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023
2022
Moment Propagation Through Carleman Linearization with Application to Probabilistic Safety Analysis.
CoRR, 2022
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022
Proceedings of the Automated Technology for Verification and Analysis, 2022
2021
ACM Trans. Program. Lang. Syst., 2021
2020
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
2019
Moment Propagation of Discrete-Time Stochastic Polynomial Systems using Truncated Carleman Linearization.
CoRR, 2019
2018
Proceedings of the Automated Technology for Verification and Analysis, 2018
2017
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017
2014
Proceedings of the 11th workshop on Quantum Physics and Logic, 2014