Toru Takisaka
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Connectivity in the presence of an opponent | 2025-01-06 | Paper |
| Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis Automatica | 2024-02-13 | Paper |
| Ranking and repulsing supermartingales for reachability in probabilistic programs Automated Technology for Verification and Analysis | 2023-07-28 | Paper |
| Dynamic shielding for reinforcement learning in black-box environments Automated Technology for Verification and Analysis | 2023-06-02 | Paper |
| INFINITE STRINGS AND THEIR LARGE SCALE PROPERTIES Journal of Symbolic Logic | 2022-06-15 | Paper |
| On G\'acs' quantum algorithmic entropy (available as arXiv preprint) | 2021-06-29 | Paper |
| On G\'acs' quantum algorithmic entropy | 2021-06-29 | Paper |
| Widest paths and global propagation in bounded value iteration for stochastic games (available as arXiv preprint) | 2021-02-09 | Paper |
| Large scale geometries of infinite strings (available as arXiv preprint) | 2021-01-19 | Paper |
| Large scale geometries of infinite strings | 2021-01-19 | Paper |
Research outcomes over time
This page was built for person: Toru Takisaka
