Toru Takisaka

1. Ranking and Repulsing Supermartingales for Reachability in Randomized Programs
   2021/06/08 by Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe +1 · 7 citations
2. Dynamic Shielding for Reinforcement Learning in Black-Box Environments
   2022/07/27 by Masaki Waga, Waga, Masaki, Ezequiel Castellano +9 · 4 citations
   Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Machine Learning and Algorithms #Reinforcement Learning in Robotics #Software Reliability and Analysis Research
3. Weakly Non-Negative Supermartingales for Omega-Regular Verification
   2026/07/20 by Toru Takisaka, Hongjie Qing, Libo Zhang
   Computer Science · #cs.PL