Toru Takisaka
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2017–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | IJCAI | Situational-Constrained Sequential Resources Allocation via Reinforcement Learning. | Libo Zhang, Yang Chen, Toru Takisaka, Kaiqi Zhao, Weidong Li, Jiamou Liu |
| 2024 | CAV | Lexicographic Ranking Supermartingales with Lazy Lower Bounds. | Toru Takisaka, Libo Zhang, Changjiang Wang, Jiamou Liu |
| 2023 | ESA | Connectivity in the Presence of an Opponent. | Zihui Liang, Bakh Khoussainov, Toru Takisaka, Mingyu Xiao |
| 2022 | ATVA | Dynamic Shielding for Reinforcement Learning in Black-Box Environments. | Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo |
| 2020 | CAV | Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games. | Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo |
| 2018 | ATVA | Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs. | Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo |
| 2017 | LICS | Large scale geometries of infinite strings. | Bakh Khoussainov, Toru Takisaka |