Toru Takisaka - RankMe

25 papers A* 3A 2B 2Journal 15Unranked 3

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Situational-Constrained Sequential Resources Allocation via Reinforcement Learning. IJCAI Libo Zhang, Yang Chen, Toru Takisaka, Kaiqi Zhao, Weidong Li, Jiamou Liu
2025	J	`jnl`	Situational-Constrained Sequential Resources Allocation via Reinforcement Learning. CoRR Libo Zhang, Yang Chen, Toru Takisaka, Kaiqi Zhao, Weidong Li, Jiamou Liu
2025	J	`jnl`	Systematic Parameter Decision in Approximate Model Counting. CoRR Jinping Lei, Toru Takisaka, Junqiang Peng, Mingyu Xiao
2024	—	`conf`	Lexicographic Ranking Supermartingales with Lazy Lower Bounds. CAV (3) Toru Takisaka, Libo Zhang, Changjiang Wang, Jiamou Liu
2024	J	`jnl`	Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis. Autom. Sasinee Pruekprasert, Jérémy Dubut, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya
2023	J	`jnl`	A Robustness-Based Confidence Measure for Hybrid System Falsification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Toru Takisaka, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
2023	A	`conf`	Connectivity in the Presence of an Opponent. ESA Zihui Liang, Bakh Khoussainov, Toru Takisaka, Mingyu Xiao
2023	J	`jnl`	Connectivity in the presence of an opponent. CoRR Zihui Liang, Bakh Khoussainov, Toru Takisaka, Mingyu Xiao
2023	J	`jnl`	Fairness in Ranking Supermartingales. CoRR Toru Takisaka, Libo Zhang, Changjiang Wang, Jiamou Liu
2023	A	`conf`	Learning Density-Based Correlated Equilibria for Markov Games. AAMAS Libo Zhang, Yang Chen, Toru Takisaka, Bakh Khoussainov, Michael Witbrock, Jiamou Liu
2023	J	`jnl`	Learning Density-Based Correlated Equilibria for Markov Games. CoRR Libo Zhang, Yang Chen, Toru Takisaka, Bakh Khoussainov, Michael Witbrock, Jiamou Liu
2022	B	`conf`	Dynamic Shielding for Reinforcement Learning in Black-Box Environments. ATVA Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo
2022	J	`jnl`	Dynamic Shielding for Reinforcement Learning in Black-Box Environments. CoRR Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo
2022	A*	`conf`	Explaining the Behaviour of Game Agents Using Differential Comparison. ASE Ezequiel Castellano, Xiao-Yi Zhang, Paolo Arcaini, Toru Takisaka, Fuyuki Ishikawa, Nozomu Ikehata, Kosuke Iwakura
2022	J	`jnl`	Infinite Strings and their Large Scale Properties. J. Symb. Log. Bakh Khoussainov, Toru Takisaka
2022	J	`jnl`	Moment Propagation Through Carleman Linearization with Application to Probabilistic Safety Analysis. CoRR Sasinee Pruekprasert, Jérémy Dubut, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya
2021	J	`jnl`	Ranking and Repulsing Supermartingales for Reachability in Randomized Programs. ACM Trans. Program. Lang. Syst. Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo
2020	—	`conf`	Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games. CAV (2) Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo
2020	J	`jnl`	Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games. CoRR Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo
2019	J	`jnl`	Large Scale Geometries of Infinite Strings. CoRR Bakhadyr Khoussainov, Toru Takisaka
2019	J	`jnl`	Moment Propagation of Discrete-Time Stochastic Polynomial Systems using Truncated Carleman Linearization. CoRR Sasinee Pruekprasert, Toru Takisaka, Clovis Eberhart, Ahmet Cetinkaya, Jérémy Dubut
2018	J	`jnl`	Ranking and Repulsing Supermartingales for Approximating Reachability. CoRR Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo
2018	B	`conf`	Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs. ATVA Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo
2017	A*	`conf`	Large scale geometries of infinite strings. LICS Bakh Khoussainov, Toru Takisaka
2014	—	`conf`	On Gács' quantum algorithmic entropy. QPL Toru Takisaka