Toru Takisaka

Available identifiers

zbMath Open takisaka.toruMaRDI QIDQ2226747

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q5144624	2021-01-19	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Toru Takisaka