IscasMC: A Web-Based Probabilistic Model Checker (2014)

First Author: Ernst Moritz Hahn (Co-Author)
Attributed to:  Synthesis and Verification in Markov Game Structures funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract