"Caching Strategies for Run-time Probabilistic Model Checking."

Hiroyuki Nakagawa, Kento Ogawa, Tatsuhiro Tsuchiya (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics