Lazy Probabilistic Model Checking without Determinisation (2015)

First Author: Hahn E M

Attributed to: Energy Efficient Control funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://drops.dagstuhl.de/opus/volltexte/2015/5391/

Type: Conference/Paper/Proceeding/Abstract

Volume: 42

ISSN: 18688969