37 citations · 164 across the 31 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
Specification-Guided Path Shortcutting for Efficient Probabilistic Model Checking
Tsubasa Matsumoto, Kazuki Watanabe, Masaki Waga
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 par…
cs.LO2021
Efficient Black-Box Checking via Model Checking with Strengthened Specifications
Junya Shijubo, Masaki Waga, Kohei Suenaga
Black-box checking (BBC)} is a testing method for cyber-physical systems (CPSs) as well as software systems. BBC consists of active automata learning and model checking; a Mealy ma…
cs.LO2020★ 37 cited
Falsification of Cyber-Physical Systems with Robustness-Guided Black-Box Checking
Masaki Waga
For exhaustive formal verification, industrial-scale cyber-physical systems (CPSs) are often too large and complex, and lightweight alternatives (e.g., monitoring and testing) have…