◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Toru Takisaka

13 papers hereh-index 5115 citations20 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author1
  • first author3
  • middle author8
  • last author1

Across the 13 of 13 papers where every author was matched, so the position is known.

fields
  • cs.AI3
  • cs.PL3
  • cs.LO2
  • eess.SY2
  • cs.GT1
  • cs.IT1

identity via Semantic Scholar / OpenAlex

activity
20142026
most citedRanking and Repulsing Supermartingales for Reachability in Probabilistic Programs

15 citations · 32 across the 13 of their papers we have counts for

collaborators
Showing 2022Show all

2 papers · 1 filter

cs.LG2022

Dynamic Shielding for Reinforcement Learning in Black-Box Environments

Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert +3

It is challenging to use reinforcement learning (RL) in cyber-physical systems due to the lack of safety guarantees during learning. Although there have been various proposals to r…

eess.SY2022

Moment Propagation of Polynomial Systems Through Carleman Linearization for Probabilistic Safety Analysis

Sasinee Pruekprasert, Jérémy Dubut, Toru Takisaka +2

We develop a method to approximate the moments of a discrete-time stochastic polynomial system. Our method is built upon Carleman linearization with truncation. Specifically, we ta…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.