Toru Takisaka

Available identifiers

zbMath Open takisaka.toruMaRDI QIDQ2226747

List of research outcomes

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	2024-02-13	Paper
Ranking and repulsing supermartingales for reachability in probabilistic programs	2023-07-28	Paper
Dynamic shielding for reinforcement learning in black-box environments	2023-06-02	Paper
INFINITE STRINGS AND THEIR LARGE SCALE PROPERTIES	2022-06-15	Paper
On G\'acs' quantum algorithmic entropy	2021-06-29	Paper
Widest paths and global propagation in bounded value iteration for stochastic games	2021-02-09	Paper
Large scale geometries of infinite strings	2021-01-19	Paper

Research outcomes over time

This page was built for person: Toru Takisaka