123 citations · 123 across the 2 of their papers we have counts for
2 papers
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…
cond-mat.mes-hall2014★ 123 cited
Perfect selective alignment of nitrogen-vacancy center in diamond
T. Fukui, Y. Doi, T. Miyazaki +14
Nitrogen-vacancy (NV) centers in diamond have attracted significant interest because of their excellent spin and optical characteristics for quantum information and metrology. To t…