123 citations · 123 across the 2 of their papers we have counts for
1 paper · 1 filter
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…