Toru Takisaka
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Prog. Lang.×1
Frequent co-authors
Research Timeline
2026
Weakly Non-Negative Supermartingales for Omega-Regular Verification
The paper introduces lazy Streett supermartingales and their lexicographic extension to certify almost-sure satisfaction of omega-regular properties with polynomial templates under a broad class of sampling distributions.
Highlighted terms show continued research focus across papers