Hiroyuki Nakagawa, Kento Ogawa, Tatsuhiro Tsuchiya. Caching Strategies for Run-time Probabilistic Model Checking. In Sebastian Götz, Nelly Bencomo, Kirstie L. Bellman, Gordon S. Blair, editors, Proceedings of the 11th International Workshop on Models@run.time co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint Malo, France, October 4, 2016. Volume 1742 of CEUR Workshop Proceedings, pages 18-25, CEUR-WS.org, 2016. [doi]
Abstract is missing.