Author

Kazuki Watanabe

h-index 2 View on Semantic Scholar

We have 2 of 10 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Sep 2026

Specification-Guided Path Shortcutting for Efficient Probabilistic Model Checking

Given the safety-critical nature of many embedded systems, their safety assurance is essential. Because such systems are typically stochastic, probabilistic model checking is a particularly important technique. However, there is a well-known scalability issue due to state-space explosion, especially when verifying comp...

T. Matsumoto, Kazuki Watanabe, Masaki Waga · 0 citations

Open access Aug 2026

Adequacy for Predicate Transformer Semantics

This paper establishes a generic framework to prove adequacy for predicate transformer semantics with respect to an appropriately designed operational semantics, and covers a wide range of instances, including total expected costs, cost moments, conditional expectations, and expected multiplicative rewards of probabili...

Kazuki Watanabe, Mirai Ikebuchi, Mayuko Kori · Proc. ACM Program. Lang. · 0 citations