Publication Overview

Linar Mikeev and Martin R. Neuhäußer and David Spieler and Verena Wolf

On-the-fly verification and optimization of DTA-properties for large Markov chains

Published in: Formal Methods in System Design
Year: 2013
Volume: 43
Pages: 313-337